bool BasicBlock::dominates(const BasicBlock& other) const { return (this == &other) || !(other.dom_end() == std::find(other.dom_begin(), other.dom_end(), this)); }