Predicate DataFlow::DataFlow::localFlowStep

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

predicate localFlowStep(Node pred, Node succ)