boolean (@NotNull DfaValue dfaLeft, @NotNull DfaValue dfaRight) { if (!(dfaLeft instanceof DfaVariableValue) || !(dfaRight instanceof DfaVariableValue)) return true; int c1Index = getOrCreateEqClassIndex((DfaVariableValue)dfaLeft); int c2Index = getOrCreateEqClassIndex((DfaVariableValue)dfaRight); if (c1Index == c2Index) return false; myCachedHash = null; return myDistinctClasses.addOrdered(c1Index, c2Index); }