Predicate DataFlow::DataFlow::Internal::Cached::localFlowStepCached

Holds if data flows from nodeFrom to nodeTo in exactly one local (intra-procedural) step.

predicate localFlowStepCached(Node nodeFrom, Node nodeTo)