let get_axiom name = try Hashtbl.find user_axiomdefs name with Not_found -> Wp_parameters.failure "Non-compiled axiom '%s'" name ; None