update isl for isl_qpolynomial_project_domain_on_params