Predicate InappropriateIntimacy::enclosingRefType

predicate enclosingRefType(Variable v, RefType type)