Duplication in comparison constraints