method get_variable global_id = (try Hashtbl.find from_id global_id with Not_found -> raise (Gid_not_in_table global_id))