Commit 2023-07-09 09:20 9a2d40a2
View on Github →fix: make lift_lets not descend into proofs or let-less subexpressions (#5772)
This helps keep lift_lets from unnecessarily doing deep recursion on deep expressions. Whether to descend into proofs is put behind a configuration option.