add isl_pw_aff_min and isl_pw_aff_max