isl_pw_aff_non_zero_set: don't assume isl_pw_aff is total