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