Not very convinced yet. I would expect it to fail/not work quite quickly for cases which are "worth" debugging.

For the first example I would just place the breakpoint on the return. The highlighting is quite nice but I see not much need for the prediction which was probably hard to implement.

In languages like Java features like "hot code replace" exist. In a function like this if the result is not what I expect, I can simply change the code and restart the function without restarting the application. Not much need for prediction.

What I wished were more common is reverse debugging were you can step backwards.