Member predicate Configuration :: isBarrierIn
Holds if data flow into node
is prohibited.
predicate
isBarrierIn
(
Node
node
)