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