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