> -- AVC писал(а):
> Бросается в глаза дублирование проверки условия (p # NIL).
Известно, как много проблем в программировании возникает из-за преждевременных попиток оптимизации ... etc.

Дублирование тут (и в огромном большинстве других случаев) ничтожно.
Зато гарантия постусловия -- железная.