Member predicate DataFlow::TrackedExpr::flowsTo

predicate flowsTo(Expr sink)