Verificador de regressão em Common Lisp do MIT
