[Equality] use a real conflict remove new_permanent_eq

src/bool.ml

src/bool.mli

src/conflict.ml

src/conflict.mli

src/equality.ml

src/equality.mli

src/explanation.ml

src/explanation.mli

src/scheduler_queue.ml

src/solver.ml

src/solver.mli

src/types.ml

src/types.mli

src/util/bag.ml

src/util/bag.mli

src/util/stdlib.ml

src/util/stdlib.mli

tests/smtlib2/uf/sat/conflict_complete_needed_cl.smt2