Predicate DataFlow::localFlowStep
Holds if data can flow from pred to succ in one local step.
Import path
import javascriptpredicate localFlowStep(Node pred, Node succ)Holds if data can flow from pred to succ in one local step.
import javascriptpredicate localFlowStep(Node pred, Node succ)