Refactor c_map_init: fit for mixed + flattened
Refactor c_add_offset_map: fit for mixed + flattened
Eliminate code duplication in c_add_offset_flatten
Eliminate code duplication in c_map_decl_itspace