Post-merge fix

zishkaz · zishkaz · commit 6abe719e52bc · 2024-09-23T15:11:03.000+03:00
diff --git a/usvm-core/src/main/kotlin/org/usvm/StateForker.kt b/usvm-core/src/main/kotlin/org/usvm/StateForker.kt
@@ -1,5 +1,6 @@
 package org.usvm
 
+import org.usvm.StateForker.Companion.splitModelsByCondition
 import org.usvm.collections.immutable.internal.MutabilityOwnership
 import org.usvm.model.UModelBase
 import org.usvm.solver.USatResult
