Member predicate Expr::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)