recfun_finder 应在作用域退出时删除递归定义

recfun_finder 被暴露为一个简化器。它应该在撤销轨迹上推送一个闭包，以删除在退出作用域时引入的递归定义。否则，从脱离作用域的递归函数将持续使用。