Refactor: move negativeArraySizeCheck from createNewArray to call site

Author: sergeypospelov

utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt

@@ -1709,6 +1709,7 @@ class Traverser(
             is JNewArrayExpr -> {
                 val size = (resolve(expr.size) as PrimitiveValue).align()
                 val type = expr.type as ArrayType
+                negativeArraySizeCheck(size)
                 createNewArray(size, type, type.elementType).also {
                     val defaultValue = type.defaultSymValue
                     queuedSymbolicStateUpdates += arrayUpdateWithValue(it.addr, type, defaultValue as UtArrayExpressionBase)
@@ -1991,8 +1992,11 @@ class Traverser(
         return castedArray
     }
 
+    /**
+     * @param size [SymbolicValue] representing size of an array. It's caller responsibility to handle negative
+     * size.
+     */
     internal fun createNewArray(size: PrimitiveValue, type: ArrayType, elementType: Type): ArrayValue {
-        negativeArraySizeCheck(size)
         val addr = findNewAddr()
         val length = memory.findArrayLength(addr)