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