DfaVariableValue (@NotNull DfaVariableValue qualifier) { int index = myIdToEqClassesIndices.getOrDefault(qualifier.getID(), -1); if (index == -1) { qualifier = canonicalize(qualifier); index = myIdToEqClassesIndices.getOrDefault(qualifier.getID(), -1); if (index == -1) { return qualifier; } } return Objects.requireNonNull(myEqClasses.get(index).getCanonicalVariable()); }