Member predicate DataFlow::LocalSourceNode::flowsTo

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