Translate inner-define into letrec.
Make lisp functions translation-friendly.