Member predicate InstanceAccess::isEnclosingInstanceAccess
Holds if this instance access is to an enclosing instance of type t.
predicate isEnclosingInstanceAccess(RefType t)Holds if this instance access is to an enclosing instance of type t.
predicate isEnclosingInstanceAccess(RefType t)