Member predicate BarrierGuard :: checksInstr
Override this predicate to hold if this guard validates instr
upon evaluating to b
.
predicate
checksInstr
(
Instruction
instr
,
boolean
b
)