Member predicate QualifiableExpr::targetIsThisInstance
Holds if this expression is equivalent to a this-qualified version
of this expression
predicate targetIsThisInstance()Holds if this expression is equivalent to a this-qualified version
of this expression
predicate targetIsThisInstance()