Member predicate Sources::SourceNode::flowsTo

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

predicate flowsTo(Node sink)