add isl_qpolynomial_val_on_domain