Preconditioning: Use assertions only in straight-line code. Do not call assert functions inside conditional constructs, such as if, for, while, and switch statements.

FE