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