Predicate DataFlow::DataFlow::Internal::flowsTo

Holds if data can flow (inter-procedurally) from source to sink.

Will only have results if config has non-empty sources and sinks.

predicate flowsTo(FlowGraphNodeSource flowsource, Node source, FlowGraphNodeSink flowsink, Node sink, Configuration config)