Small bug in the gui tracer

As suggested by Jan to use retry, here is some captures of it fixing the problem.

Code and debugger out of sync.

image

Location of the retry button.

image

Code and debugger in sync, but clause restarted.

image