boolean (@NotNull DfaMemoryState memState, @NotNull DfaValue dfaLeft, @NotNull DfaValue dfaRight) { if (dfaLeft == dfaRight && !(dfaLeft instanceof DfaWrappedValue) && !(dfaLeft.getDfType() instanceof DfConstantType)) { return false; } return TypeConstraint.fromDfType(memState.getDfType(dfaLeft)).isComparedByEquals() && TypeConstraint.fromDfType(memState.getDfType(dfaRight)).isComparedByEquals(); }