Member predicate Make::BasicBlockImpl::strictlyDominates

Holds if this basic block strictly dominates basic block bb.

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