Testing Lisp Algorithms