Member predicate DataFlowImpl::Configuration::hasFlowTo

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

predicate hasFlowTo(Node sink)