diff --git a/usvm-ts/src/test/kotlin/org/usvm/samples/Arguments.kt b/usvm-ts/src/test/kotlin/org/usvm/samples/Arguments.kt
index cc82323d1..4edd1b3ca 100644
--- a/usvm-ts/src/test/kotlin/org/usvm/samples/Arguments.kt
+++ b/usvm-ts/src/test/kotlin/org/usvm/samples/Arguments.kt
@@ -3,7 +3,7 @@ package org.usvm.samples
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
 import org.junit.jupiter.api.Disabled
-import org.usvm.TSObject
+import org.usvm.api.TSObject
 import org.usvm.util.TSMethodTestRunner
 import org.usvm.util.getResourcePath
 import kotlin.test.Test
diff --git a/usvm-ts/src/test/kotlin/org/usvm/samples/MinValue.kt b/usvm-ts/src/test/kotlin/org/usvm/samples/MinValue.kt
index 76d39b2da..2b2fb52c1 100644
--- a/usvm-ts/src/test/kotlin/org/usvm/samples/MinValue.kt
+++ b/usvm-ts/src/test/kotlin/org/usvm/samples/MinValue.kt
@@ -3,7 +3,7 @@ package org.usvm.samples
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
 import org.junit.jupiter.api.Disabled
-import org.usvm.TSObject
+import org.usvm.api.TSObject
 import org.usvm.util.TSMethodTestRunner
 import org.usvm.util.getResourcePath
 import kotlin.test.Test
diff --git a/usvm-ts/src/test/kotlin/org/usvm/samples/StaticMethods.kt b/usvm-ts/src/test/kotlin/org/usvm/samples/StaticMethods.kt
index 646021c9b..544eefb15 100644
--- a/usvm-ts/src/test/kotlin/org/usvm/samples/StaticMethods.kt
+++ b/usvm-ts/src/test/kotlin/org/usvm/samples/StaticMethods.kt
@@ -2,7 +2,7 @@ package org.usvm.samples
 
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
-import org.usvm.TSObject
+import org.usvm.api.TSObject
 import org.usvm.util.TSMethodTestRunner
 import org.usvm.util.getResourcePath
 import kotlin.test.Test
diff --git a/usvm-ts/src/test/kotlin/org/usvm/samples/TypeCoercion.kt b/usvm-ts/src/test/kotlin/org/usvm/samples/TypeCoercion.kt
index 50e7a2389..5231e386a 100644
--- a/usvm-ts/src/test/kotlin/org/usvm/samples/TypeCoercion.kt
+++ b/usvm-ts/src/test/kotlin/org/usvm/samples/TypeCoercion.kt
@@ -3,7 +3,7 @@ package org.usvm.samples
 import org.jacodb.ets.model.EtsScene
 import org.jacodb.ets.utils.loadEtsFileAutoConvert
 import org.junit.jupiter.api.Test
-import org.usvm.TSObject
+import org.usvm.api.TSObject
 import org.usvm.util.TSMethodTestRunner
 import org.usvm.util.getResourcePath
 
diff --git a/usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt b/usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt
index 89c959646..cc59c1aba 100644
--- a/usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt
+++ b/usvm-ts/src/test/kotlin/org/usvm/util/TSMethodTestRunner.kt
@@ -9,7 +9,7 @@ import org.jacodb.ets.base.EtsUndefinedType
 import org.jacodb.ets.base.EtsUnknownType
 import org.jacodb.ets.model.EtsMethod
 import org.jacodb.ets.model.EtsScene
-import org.usvm.NoCoverage
+import org.usvm.api.NoCoverage
 import org.usvm.PathSelectionStrategy
 import org.usvm.machine.TSMachine
 import org.usvm.api.TSMethodCoverage