Member predicate Expr::MethodAccess::isEnclosingMethodAccess

Holds if this is a method access to an instance method of the enclosing class t. That is, the qualifier is either an explicit or implicit t-qualified this or super.

predicate isEnclosingMethodAccess(RefType t)