Debugging with restore points