Add `@covers` annotations