See https://github.com/codespecs/fjalar/issues/27 for some background. Test case is open source program MEVBench. I will need to add more details on how to reproduce problem.