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)