Member predicate Configuration::BarrierGuardNode::blocks

Holds if data flow node nd acts as a barrier for data flow.

INTERNAL: this predicate should only be used from within blocks(boolean, Expr).

predicate blocks(Node nd)