method unsafe_get_id_of role_id string_id = (try Hashtbl.find to_id (role_id,string_id) with Not_found -> raise (Variable_has_no_gid(role_id,string_id)))