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