Debugging with restructure