Member predicate SourceNode::flowsToExpr

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