仰る通りです。解決法としては、Moduleのような世代番号好きのlocal symbol を使う手もありますが。少しコストが高いのと、終了後に消去する手間がかかる、ということで、置換のみで対応したい気持ちです。