add checks to Compare constraints