Member predicate Configuration::isBarrierGuard
DEPRECATED: Use isBarrier and BarrierGuard module instead.
Holds if data flow through nodes guarded by guard is prohibited when
the flow state is state
predicate isBarrierGuard(BarrierGuard guard, FlowState state)