Analyzing code coverage with dotCover