TreeSetWithDuplicates [dev.]