Member predicate ConditionBlock::immediatelyControls
DEPRECATED: Use edgeDominates instead.
Holds if basic block succ is immediately controlled by this basic
block with conditional value s. That is, succ is an immediate
successor of this block, and succ can only be reached from
the callable entry point by going via the s edge out of this basic block.
predicate immediatelyControls(BasicBlock succ, ConditionalSuccessor s)