Member predicate Configuration::BarrierGuardNode::blocks

Holds if this node blocks expression e provided it evaluates to outcome.

predicate blocks(boolean outcome, Expr e)