Member predicate Sources::SourceNode::flowsToExpr

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

predicate flowsToExpr(Expr sink)