Bricht die Programmausführung mit einem Fehler ab, falls die Annahme falsch ist.
Standardmäßig werden ASSERT-Anweisungen nicht ausgewertet. ASSERT-Anweisungen werden nur dann ausgewertet, wenn die passende Einstellung zur Laufzeit aktiviert ist.
Mit der set-Funktion kann untersucht werden, ob ASSERT-Anweisungen aktuell ausgewertet oder übersprungen werden