Member predicate FieldAccess :: isOwnFieldAccess
Holds if this is a field access to an instance field of this
. That is,
the qualifier is either an explicit or implicit unqualified this
or super
.
predicate
isOwnFieldAccess
(
)