Member predicate LocalSourceNode::flowsTo

Holds if this LocalSourceNode can flow to nodeTo in one or more local flow steps.

predicate flowsTo(Node nodeTo)