return a;
} else if (b.getLB() >= a.getUB()) {
return b;
} else {
Solver solver = a.getSolver();
IntVar z = new IntervalIntVarImpl(StringUtils.randomName(),
Math.max(a.getLB(), b.getLB()), Math.max(a.getUB(), b.getUB()), solver);
solver.post(IntConstraintFactory.maximum(z, a, b));
return z;
}
}