Member predicate DataFlow :: Configuration :: isBarrierEdge
Holds if flow from pred
to succ
is prohibited.
predicate
isBarrierEdge
(
Node
pred
,
Node
succ
)