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