let
clear () =
Hashtbl
.clear user_axioms