nitc :: DetectVarianceConstraints :: _covar_pt
# The set of formal parameters found in a covariant (and invariant) position var covar_pt = new HashSet[MParameterType]