add isl_pw_aff_is_equal