sig
  val remove_bad_candidates :
    Ast.t_system -> Node.t -> Node.t list -> Node.t list
  module type S = sig val good : Node.t -> Node.t option end
  module Make : functor (O : Oracle.S) -> S
  module SelectedOracle : Oracle.S
  module Selected : S
end