`assertion`-функции должны кидать исключение.