int (@NotNull DfaValue dfaValue) { int classIndex = myIdToEqClassesIndices.getOrDefault(dfaValue.getID(), -1); if (classIndex == -1) { dfaValue = canonicalize(dfaValue); classIndex = myIdToEqClassesIndices.getOrDefault(dfaValue.getID(), -1); } if (classIndex == -1) return -1; EqClass aClass = myEqClasses.get(classIndex); assert aClass.contains(dfaValue.getID()); return classIndex; }