Use allocated ref, improve comment

Author: Lipen

usvm-ts/src/main/kotlin/org/usvm/machine/TsContext.kt

@@ -269,13 +269,13 @@ class TsContext(
         }
     }
 
-    // This is a special function that resolves promises in the interpreter.
+    // This is an identifier for a special function representing the 'resolve' function used in promises.
     // It is not a real function in the code, but we need it to handle promise resolution.
-    val resolveFunctionRef: UConcreteHeapRef = mkConcreteHeapRef(addressCounter.freshStaticAddress())
+    val resolveFunctionRef: UConcreteHeapRef = allocateConcreteRef()
 
-    // This is a special function that rejects promises in the interpreter.
+    // This is an identifier for a special function representing the 'reject' function used in promises.
     // It is not a real function in the code, but we need it to handle promise rejection.
-    val rejectFunctionRef: UConcreteHeapRef = mkConcreteHeapRef(addressCounter.freshStaticAddress())
+    val rejectFunctionRef: UConcreteHeapRef = allocateConcreteRef()
 }
 
 class Constants {

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

@@ -977,7 +977,7 @@ class TsExprResolver(
             is TsMethodResult.NoCall -> {
                 val ptr = resolve(expr.ptr) ?: return null
 
-                if (isStaticHeapRef(ptr)) {
+                if (isAllocatedConcreteHeapRef(ptr)) {
                     // Handle 'resolve' and 'reject' function call
                     if (ptr === resolveFunctionRef || ptr === rejectFunctionRef) {
                         val promise = scope.calcOnState {