Add comments

Author: Lipen

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

@@ -43,10 +43,11 @@ internal fun TsExprResolver.handleStaticCall(
         is NoApproximation -> {}
     }
 
+    // Resolve the static method.
     when (val resolved = resolveStaticMethod(expr.callee)) {
         is TsResolutionResult.Empty -> {
             logger.error { "Could not resolve static call: ${expr.callee}" }
-            scope.assert(falseExpr)
+            scope.assert(falseExpr) ?: return null
         }
 
         is TsResolutionResult.Ambiguous -> {
@@ -58,6 +59,7 @@ internal fun TsExprResolver.handleStaticCall(
         }
     }
 
+    // Return null to indicate that we are awaiting the call to be executed.
     null
 }