add isl_qpolynomial_le_cst