Здравствуйте, Alex Fedotov, Вы писали:

AF>ASSERT проверяет условие, которое истинно всегда.

если условие истинно всегда, то его нет смысла проверять
assert проверяет условия, которые программист предполагает всегда истинными