isl_qpolynomial_from_constraint: reimplement using isl_aff