Gecode tuple variables