public IntegerIntervalValue CreateIntegerInterval(int start, int end) { return(valueFactory.CreateIntegerInterval(start, end)); }