sig
  val print_system : int -> int -> Format.formatter -> Ast.t_system -> unit
  val init : Ast.t_system -> unit
  val first_good_candidate : Node.t list -> Node.t option
end