Member predicate BasicBlock::strictlyDominates

Whether this basic block strictly dominates the other

predicate strictlyDominates(BasicBlock other)