Да ничего никуда не испаряется. Тем более, что сам Кнут не делает акцент на одноветочности, а как раз наоборот. Приведенная конструкция - не догма, а просто "first real solution to the n+1/2 problem." Надо читать оригинал, а не мои домыслы.
Короче, у кого есть мозги, тот прочтет и сделает выводы.