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