While I am increasingly inclined to snapshot testing and therefore #7, I think it would also be reasonable to assert that certain frames do or don't appear, [similar to the CHECK-NEXT machinery in llvm's tests](https://github.com/llvm/llvm-project/blob/7ae391148d6fba31fa4cb84678fe28ce6638e98c/llvm/test/Transforms/DivRemPairs/X86/div-rem-pairs.ll#L6)?