Predicate enclosingRefType

predicate enclosingRefType(Variable v, RefType type)