Bidirectional - Iterator invalidation - Fully tested