Dear Johannes,
* Coefficients are usually (ite b 0 1) or (ite b 1 2),
Interesting! So it's actually a finite-domain constraint.
no, I mean constant parts are left unbounded. Interpretations look like
(ite b 0 1) * x + (ite b 0 1) * y + w
Best,
Akihisa