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