The C*$* assertions directive tells KAP to accept
assertions. The C*$* no assertions directive tells KAP
to ignore assertions. The C*$* no assertions directive
disables assertions until the next C*$* assertions
directive, or the end of the program unit.
Individual assertions are explained in Chapter 6.