package object junctions extends HastiConstants