Member predicate DataFlowImpl2::Configuration::hasFlowToExpr

Holds if data may flow from some source to sink for this configuration.

predicate hasFlowToExpr(Expr sink)