WorkAround 12661: To make SortedRange#this() nothrow

Debug statements prevent this function from nothrow.
So I take them out of the function body and put them into the
postcontract which has another context.