[TS] Share prototype property set with delete model

Author: CaelmBleidd

usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExprResolver.kt

@@ -144,22 +144,6 @@ private const val ECMASCRIPT_BITWISE_INTEGER_SIZE = 32
  */
 private const val ECMASCRIPT_BITWISE_SHIFT_MASK = 0b11111
 
-// Prototype lookup is not modeled. These keys must not be reported as absent on an object literal.
-private val OBJECT_PROTOTYPE_PROPERTIES = setOf(
-    "__defineGetter__",
-    "__defineSetter__",
-    "__lookupGetter__",
-    "__lookupSetter__",
-    "__proto__",
-    "constructor",
-    "hasOwnProperty",
-    "isPrototypeOf",
-    "propertyIsEnumerable",
-    "toLocaleString",
-    "toString",
-    "valueOf",
-)
-
 private enum class UpdateOperator {
     INCREMENT,
     DECREMENT,

usvm-ts/src/test/kotlin/org/usvm/samples/operators/InOperatorPresenceTest.kt

@@ -122,7 +122,7 @@ class InOperatorPresenceTest : TsMethodTestRunner() {
                     "${outcome.unsupportedPaths}")
             }
             if (methodName == "deletedToStringExposesPrototype" || methodName == "inheritedConstructor") {
-                assertTrue(outcome.unsupportedPaths.any { "Prototype lookup" in it },
+                assertTrue(outcome.unsupportedPaths.any { it.contains("prototype lookup", ignoreCase = true) },
                     "${outcome.unsupportedPaths}")
             }
         }