Debugging with DG