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
(
)