Member predicate DataFlowNode :: flowsTo
Holds if this node flows to sink in zero or more steps.
predicate
flowsTo
(
DataFlowNode
sink
)