Add assertion in map_storage to assert storage given by input/output_storage and storage_map is the same.