Not using strict code coverage annotations