Member predicate BarrierGuard::checks

Holds if this guard validates node upon evaluating to branch.

predicate checks(ControlFlowNode node, boolean branch)