Member predicate DataFlow::TrackedNode::flowsTo

Holds if this node flows into sink in zero or more (possibly inter-procedural) steps.