sig
  type literal = Term.literal
  type clause = Term.clause
  val simplify :
    print:bool ->
    equality:bool ->
    Preprocessing_pure.clause list ->
    Preprocessing_pure.clause list * Preprocessing_pure.literal list
end