Member predicate DataFlow::SourceNode::flowsTo

Holds if this node flows into sink in zero or more local (that is, intra-procedural) steps.