Member predicate InstanceAccessExt :: isOwnInstanceAccess
Holds if this is an access to an object’s own instance.
predicate
isOwnInstanceAccess
(
)