Утверждение имеет две формы:
Простая форма assert <expression>
эквивалентна
if __debug__:
if not <expression>: raise AssertionError
. Расширенная форма assert <expression1>, <expression2>
эквивалентна
if __debug__:
if not <expression1>: raise AssertionError, <expression2>