Member predicate InstanceAccess::isOwnInstanceAccess
Holds if this instance access gets the value of this. That is, it is not
an enclosing instance.
This never holds for accesses in lambda expressions as they cannot access
their own instance directly.
predicate isOwnInstanceAccess()