bit of jacop clean up. starting impl of two-interval constraints
trying with SetVar. something doesn't work out. it seems that satisfyAll doesn't really iterate over the solutions?