isl_scheduler.c: count_carry_edges: use isl_map_n_basic_map