unique_set(): call add() even if no added value, to proagate "no-more"