add isl_set_from_pw_aff