Member predicate TrackedNodes::TrackedExpr::flowsTo

predicate flowsTo(Expr sink)