Member predicate FieldAccess::isEnclosingFieldAccess
Holds if this is a field access to an instance field of the enclosing
class t. That is, the qualifier is either an explicit or implicit
t-qualified this or super.
predicate isEnclosingFieldAccess(RefType t)