Have cnf_remove_dups() remove duplicate conjuncts.