Separating coverage from test generation logic and a minor improvement in DoxygenRule