do not compute isl_map_dim in the loop