Member predicate Make::PreGuard::directlyControls
Holds if this guard evaluating to branch directly controls the basic
block bb.
That is, bb is dominated by the branch-successor edge of this guard.
predicate directlyControls(BasicBlock bb, boolean branch)