This does sound very interesting. I should have said the debuggers I’m familiar with don’t do it. Or if they do, I have no idea how.

Certainly setting breakpoints on certain conditions instead of just a line, would help a lot. Being able to step backwards through the execution even more so.