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