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