declare isl_union_pw_qpolynomial_neg