Member predicate Make::BasicBlockImpl::immediatelyDominates

Holds if this basic block immediately dominates basic block bb.

That is, this basic block is the unique basic block satisfying:

1. This basic block strictly dominates bb
2. There exists no other basic block that is strictly dominated by this basic block and which strictly dominates bb.

All basic blocks, except entry basic blocks, have a unique immediate dominator.