add test case for isl_pw_qpolynomial_intersect_domain