https://github.com/stellaraccident approved this pull request. FTR - This iterative state cleaning was introduced by me for some case that is now lost. It's not in a test case, so I'm fine taking this out and letting the future decide. https://github.com/llvm/llvm-project/pull/121670