Member predicate Configuration::hasFlowPath

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

predicate hasFlowPath(SourcePathNode src, SinkPathNode sink)