Remove covers annotations..
Initial extension assertions functions implementation
Readd covers annotation
Change function indentation
Add tests