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