Member predicate DataFlow2::Configuration::isBarrierGuard

Holds if data flow through nodes guarded by guard is prohibited.

predicate isBarrierGuard(BarrierGuard guard)