add isl_qpolynomial_substitute