public int getEqClassIndex(@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);
    return classIndex;
  }
public int getEqClassIndex(@NotNull DfaValue dfaValue)