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