Better tracing for DotCover