package object junctions extends HASTIConstants with POCIConstants