update isl for change in isl_pw_aff_cond