let add_axiom ax_name (ax:Fol.predicate) = try ignore (Hashtbl.find axiom_table ax_name) with Not_found -> begin Wp_parameters.debug ~level: 2 "[wp-fol] add axiom %s@." ax_name; Hashtbl.add axiom_table ax_name ax end