clsem in place remains to remove invtable

Makefile

src/arith.ml

src/arith.mli

src/bool.ml

src/bool.mli

src/conflict.ml

src/conflict.mli

src/demon.ml

src/equality.ml

src/equality.mli

src/explanation.ml

src/explanation.mli

src/inputlang/altergo/popop_of_altergo.mli

src/solver.ml

src/solver.mli

src/types.ml

src/types.mli

src/uninterp.ml

src/util/hashcons.ml

src/util/hashcons.mli