Implemented annotation checking via iterators