method check_map_var global_id =
    if not (Hashtbl.mem mem_map global_id) then
      (map_number <- map_number + 1;
       Hashtbl.add mem_map global_id map_number)