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