Class AtomIteratorWithinModelSet