59985999600060016002600360046005600660076008
} else { while (and.getOperandCount() > nOperandCountSaved) { and.removeOperand(and.getOperandCount() - 1); } } m_nUnique = nUniquenessSaved; }