Range rangeValue1 = new Range(value4, value5);
Range rangeValue2 = new Range(value4, value6);
Range rangeValue3 = new Range(new SimpleNumeric(5.0), new SimpleNumeric(15.0));
Range rangeValue4 = new Range(new SimpleNumeric(5.0), new SimpleNumeric(9.0));
Type type = createTypeWithDomain(Arrays.<Value> asList(
simpleSymbolic, setValue1, setValue2, value, value2, value3,
value4, value5, value6, rangeValue1,
rangeValue2, rangeValue3, rangeValue4));
assertTrue(simpleSymbolic.in(setValue1, type));