assert expression

An assert expression expects a contract to always be true when that point of the program is reached. Otherwise the program stops with a panic. It has the following syntax:

assert Some-expression;