BUILD (sidekick.Sidekick

val create : 
  ?stat:Sidekick_util.Stat.t ->
  ?size:[ `Small | `Big ] ->
  Sidekick_core.Term.store ->
  Sidekick_proof.Tracer.t ->
  t

Create a new congruence closure.

parameter term_store
used to be able to create new terms. All terms interacting with this congruence closure must belong in this term state as well.