[BUG] multiple pairs of identical symbols generated