Member predicate GuardNode :: controlsBlock
Holds if this guard controls block b
upon evaluating to branch
.
predicate
controlsBlock
(
BasicBlock
b
,
boolean
branch
)