Member predicate DataFlow::Configuration::isSink

Holds if sink is a relevant data flow sink for this configuration.

predicate isSink(Node sink)