sig
  val on_add_clause : C.t Logtk.Signal.t
  val on_remove_clause : C.t Logtk.Signal.t
  val add : C.t Sequence.t -> unit
  val remove : C.t Sequence.t -> unit
end