===> Cleaning for owl-lisp-0.1.13