Member predicate Flow::BasicBlock::dominates

Whether this basic block dominates the other

predicate dominates(BasicBlock other)