sig
  type clause = Term.clause
  exception EMPTY_CLAUSE of Preprocessing_equality.clause
  val simplify :
    print:bool ->
    Preprocessing_equality.clause list -> Preprocessing_equality.clause list
end