A Design by Contract library for Common Lisp