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