Predicate DataFlow::localFlowStep

Holds if data can flow from pred to succ in one local step.

Import path

import javascript
predicate localFlowStep(Node pred, Node succ)