offset1 = y.getLB();
currentSupport0 = new IStateInt[x.getUB() - offset0 + 1];
currentSupport1 = new IStateInt[y.getUB() - offset1 + 1];
IEnvironment environment = solver.getEnvironment();
for (int i = 0; i < currentSupport0.length; i++) {
currentSupport0[i] = environment.makeInt();
currentSupport0[i].set(-1);
}
for (int i = 0; i < currentSupport1.length; i++) {
currentSupport1[i] = environment.makeInt();
currentSupport1[i].set(-1);