map = isl_map_compute_divs(map);
map = isl_map_coalesce(map);
printf("# coalesced\n");
isl_map_print(map, stdout, 0, ISL_FORMAT_ISL);
map = isl_map_compute_divs(map);
map = isl_map_coalesce(map);
printf("# coalesced\n");
isl_map_print(map, stdout, 0, ISL_FORMAT_ISL);