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
)