Approximations and candidates generation
val remove_bad_candidates :
Ast.t_system -> Node.t -> Node.t list -> Node.t list
Register bad candidates and try to infer as much inforamtion as possible from the error trace before the restart.
module type S =
Functor for creating an approximation procedure from an oracle
The oracle selected by the command line options
The approximation module constructed with the oracle selected by the command line options