Member predicate DataFlow::DataFlowNode::flowsTo

Holds if this node flows to sink in zero or more steps.

predicate flowsTo(DataFlowNode sink)