Added the bound consistent in a domain. If the new domain is
inconsistent, then we just ignore the new domain.