let clear () = Hashtbl.clear user_axioms