To achieve that CS would have had to put everything with a new variable inside a new function scope, having a major impact on performance and readability of the generated code.
Parenscript gets lexical scoping by renaming variables (but only where necessary). It works fine. The original variable name is used as a prefix, so the generated code remains readable.
