Member predicate Guard :: directlyControls
Holds if this guard evaluating to branch
directly controls the block
controlled
. That is, the true
- or false
-successor of this guard (as
given by branch
) dominates controlled
.
predicate
directlyControls
(
BasicBlock
controlled
,
boolean
branch
)