If A and B are tables with exactly the same set of keys, must`next(A,k)` and `next(B,k)` always give the same first return value?
