Added test for checking annotations