/** Makes sure there are no duplicate entries in the lists. For warnings,
contradicting flags are eliminated and the last one stays in effect. */
void unique();
/** Makes sure there are no duplicate entries in the lists. For warnings,
contradicting flags are eliminated and the last one stays in effect. */
void unique();