int (@NotNull DfaVariableValue dfaValue) { int i = getEqClassIndex(dfaValue); if (i != -1) return i; dfaValue = canonicalize(dfaValue); EqClass eqClass = new EqClass(myFactory); eqClass.add(dfaValue.getID()); int resultIndex = storeClass(eqClass); checkInvariants(); return resultIndex; }