Member predicate BasicBlock::dominates

Holds if this basic block dominates basic block bb.

That is, all paths reaching bb from the entry point basic block must go through this basic block.