ADT.OrderedMapping() and duplicate entries