Implemented equals method to compare two domain and added a check to
earlier terminate the consistency bound check.