modintvarprop.h  with Gecode::linear fully supported.