Member predicate DataFlow :: SourceNode :: flowsToExpr
Holds if this node flows into sink
in zero or more local (that is,
intra-procedural) steps.
predicate
flowsToExpr
(
Expr
sink
)