Member predicate InstanceAccessExt :: isImplicitFieldQualifier
Holds if this is the implicit qualifier of fa
.
predicate
isImplicitFieldQualifier
(
FieldAccess
fa
)