sig
  val print_backtrace_analyze : Format.formatter -> Solver.backtrace -> unit
  val print_backtrace : Format.formatter -> Solver.backtrace -> unit
end