Member predicate DataFlow::Configuration::isBarrierIn

Holds if data flow into node is prohibited.

predicate isBarrierIn(Node node)