update isl for isl_map_is_single_valued