     if (deepb_dom_depth < (int) inb->_dom_depth) {         // The new inb must be dominated by the previous deepb.         // The various inputs must be linearly ordered in the dom         // tree, or else there will not be a unique deepest block.       