Implemented LET and LET* by variable renaming, which provides the