JcMachine failed with IllegalStateException: Invalid model containing wrong type

[EgorkaKulikov]

Run tests generation with the following settings:

timeLimit = 120
methodFilter = "com.google.common.collect.TreeMultiset.*"
projectFilter = listOf("guava")

There is the following exception in logs:

JcMachine failed
java.lang.IllegalStateException: Invalid model containing wrong type stream org.usvm.types.USupportTypeStream@3c8a9803
	at org.usvm.model.UTypeModel.evalIsSubtype(UTypeModel.kt:34) ~[usvm-core-comp-231118-1620.jar:?]
	at org.usvm.UComposer.transform(Composition.kt:48) ~[usvm-core-comp-231118-1620.jar:?]
	at org.usvm.UIsSubtypeExpr.accept(Expressions.kt:268) ~[usvm-core-comp-231118-1620.jar:?]
	at io.ksmt.expr.transformer.KNonRecursiveTransformerBase.apply(KNonRecursiveTransformerBase.kt:50) ~[ksmt-core-0.5.13.jar:?]
	at org.usvm.UComposer.compose(Composition.kt:27) ~[usvm-core-comp-231118-1620.jar:?]
	at org.usvm.model.UModelBase.eval(Model.kt:52) ~[usvm-core-comp-231118-1620.jar:?]
	at org.usvm.StateForkerKt.splitModelsByCondition(StateForker.kt:266) ~[usvm-core-comp-231118-1620.jar:?]
	at org.usvm.StateForkerKt.access$splitModelsByCondition(StateForker.kt:1) ~[usvm-core-comp-231118-1620.jar:?]
	at org.usvm.WithSolverStateForker.forkMulti(StateForker.kt:99) ~[usvm-core-comp-231118-1620.jar:?]
	at org.usvm.StepScope.assert(StepScope.kt:141) ~[usvm-core-comp-231118-1620.jar:?]
	at org.usvm.StepScope.assert$default(StepScope.kt:135) ~[usvm-core-comp-231118-1620.jar:?]
	at org.usvm.machine.interpreter.JcExprResolver.assertIsSubtype(JcExprResolver.kt:508) ~[usvm-jvm-comp-231118-1620.jar:?]
	at org.usvm.machine.interpreter.JcExprResolver.visitJcVirtualCallExpr(JcExprResolver.kt:1316) ~[usvm-jvm-comp-231118-1620.jar:?]
	at org.usvm.machine.interpreter.JcExprResolver.visitJcVirtualCallExpr(JcExprResolver.kt:127) ~[usvm-jvm-comp-231118-1620.jar:?]
	at org.jacodb.api.cfg.JcVirtualCallExpr.accept(JcInst.kt:732) ~[jacodb-api-1.4.0.jar:1.4.0]
	at org.usvm.machine.interpreter.JcExprResolver.resolveJcExpr(JcExprResolver.kt:154) ~[usvm-jvm-comp-231118-1620.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.visitAssignInst(JcInterpreter.kt:304) ~[usvm-jvm-comp-231118-1620.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.step(JcInterpreter.kt:159) ~[usvm-jvm-comp-231118-1620.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.step(JcInterpreter.kt:82) ~[usvm-jvm-comp-231118-1620.jar:?]
	at org.usvm.UMachine.run(Machine.kt:40) ~[usvm-core-comp-231118-1620.jar:?]
	at org.usvm.machine.JcMachine.analyze(JcMachine.kt:148) ~[usvm-jvm-comp-231118-1620.jar:?]
	at org.usvm.machine.JcMachine.analyze$default(JcMachine.kt:53) ~[usvm-jvm-comp-231118-1620.jar:?]
	at org.utbot.contest.usvm.ContestUsvmKt$runUsvmGeneration$1$9$8$states$2$1.invoke(ContestUsvm.kt:184) ~[main/:?]
	at org.utbot.common.ThreadBasedExecutor$invokeWithTimeout$1.invoke(ThreadUtil.kt:70) ~[utbot-core-2023.11-SNAPSHOT.jar:?]
	at org.utbot.common.ThreadBasedExecutor$ensureThreadIsAlive$1.invoke(ThreadUtil.kt:124) ~[utbot-core-2023.11-SNAPSHOT.jar:?]
	at org.utbot.common.ThreadBasedExecutor$ensureThreadIsAlive$1.invoke(ThreadUtil.kt:120) ~[utbot-core-2023.11-SNAPSHOT.jar:?]