Allocate a new symbol only if it is unique.