isl_pw_qpolynomial_sum: handle existentials in non-wrapped domains again

[barvinok.git] / tests / pwqp / hong2.pwqp

{ [y1,y2] -> 1 : exists x : 1<=x<=5 and 2*x=y1+y2 and 10>=y1,y2>=0}