You can assert that a condition is true at a certain point in your program using an assert statement. There are two forms:
assert 3 < 4 ; assert 3 < 4 : "Something is wrong here." ;
The first form will give an error if the assertion fails. The second will print the given message if the assertion fails.