For an overview of this library, along with tutorials and examples, see CodeQL for Java
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)