Additional assertion for iterators