you are right, I was thinking of reuse of the iterator : but that is clearly not possible since there is no way to reset/reuse it right now.