sig
  exception ReachedLimit
  val cpt_delete : int Pervasives.ref
  val new_node : Node.t -> unit
  val fixpoint : Node.t -> int list -> unit
  val restart : unit -> unit
  val remaining : (unit -> int * int) -> unit
  val delete : int -> unit
  val candidate : Node.t -> Node.t -> unit
  val print_report : safe:bool -> Node.t list -> Node.t list -> unit
  val print_stats_certificate : Node.t list -> string -> unit
  val error_trace : Ast.t_system -> Node.t -> unit
  val check_limit : Node.t -> unit
end