Predicate DataFlow::localFieldStep

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

Import path

import javascript
predicate localFieldStep(Node pred, Node succ)