`combineConjuncts` should probably do the same optimizations as combineDisjuncts. You should be able to factor out the logic of filtering no-op literals, de-duping deterministic terms, etc. and reuse it for both