update isl for isl_pw_aff_non_zero_set