method map_var_to new_var_id old_var_id = let map_result = this#get_map old_var_id in Hashtbl.add mem_map new_var_id map_result