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