getSingleBoxAndVerify(new IntervalValue(3,6), new IntervalValue(0, 1)),
getSingleBoxAndVerify(new IntervalValue(7,8), new IntervalValue(0,2)),
getSingleBoxAndVerify(new IntervalValue(9,10), new IntervalValue(0,1)));
final ArrayList<Variable> variables = left.getVariables();
IntegerBoxes wid = BoxesWideningOperator.computeWidening(left, right,
new WideningStepThresholds() {
@Override
public Set<Double> getThresholds(Variable var) {
List<Double> thresholds;
if (var == variables.get(0))
thresholds = Arrays.asList(2.0, 4.0, 6.0, 8.0, 10.0);