update isl for isl_pw_aff_ge_set