Predicate DataFlow::DataFlow::localFieldStep

Holds if there is a step from pred to succ through a field accessed through this in a class.

predicate localFieldStep(Node pred, Node succ)