ASSERT$

cause a hard error if the given test is false
Major Section:  PROGRAMMING

General Form:
(assert$ test form)
where test returns a single value and form is arbitrary. Semantically, this call of assert$ is equivalent to form. However, it causes a hard error (using illegal) if the value of test is nil.