Add TODO for checking annotations