Member predicate Flow::BasicBlock::strictlyDominates

Whether this basic block strictly dominates the other

predicate strictlyDominates(BasicBlock other)