Predicate DataFlowPrivate::instanceFieldAssign

Holds if fa is an access to an instance field that occurs as the destination of an assignment of the value src.

predicate instanceFieldAssign(Expr src, FieldAccess fa)