TagUnit and code coverage with Clover