Reuse onRef

Author: Lipen

usvm-ts/src/main/kotlin/org/usvm/machine/operator/TsBinaryOperator.kt

@@ -447,18 +447,9 @@ sealed interface TsBinaryOperator {
 
             // ref == ref
             if (lhs.sort == addressSort && rhs.sort == addressSort) {
-                // Note: in JavaScript, `null == undefined`
                 val lhs = lhs.asExpr(addressSort)
                 val rhs = rhs.asExpr(addressSort)
-                val lhsIsNull = mkEq(lhs, mkTsNullValue())
-                val rhsIsNull = mkEq(rhs, mkTsNullValue())
-                val lhsIsUndefined = mkEq(lhs, mkUndefinedValue())
-                val rhsIsUndefined = mkEq(rhs, mkUndefinedValue())
-                return mkOr(
-                    mkAnd(lhsIsUndefined, rhsIsNull),
-                    mkAnd(lhsIsNull, rhsIsUndefined),
-                    mkHeapRefEq(lhs, rhs)
-                )
+                return onRef(lhs, rhs, scope)
             }
 
             // bool == ref