A tool for symbolic manipulation of arc functions in symmetric net models