private static Range CreateRangeSafe(Range lastRange, int start, int end) { Contract.Requires(lastRange.End <= start); Contract.Requires(start <= end); return new Range(start, end); }