nitc :: DetectVarianceConstraints :: _pts
# The set of all collected formal parameters var pts = new HashSet[MParameterType]