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