let
user_axioms : (string,
F
.pred option)
Hashtbl
.t =
Hashtbl
.create 131