https://github.com/fhahn approved this pull request. LGTM, thanks! When landing, could you add a brief description to the commit message, perhaps including a link to an alive2 proof for the motivating example? https://github.com/llvm/llvm-project/pull/128168