small fix to translate-to-prove.lisp