sig
  type symbol = Symbol.symbol
  type clause = Term.clause
  val get_axioms :
    print_axioms:bool -> Problem.problem -> Equality.clause list
end