Machine.analyze failed in getTypeStream method on guava

[EgorkaKulikov]

Consider the following tests genaration settings:

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

No tests were generated. More than that, there is the following problem description in logs:

ERROR | machine.analyze(com.google.common.collect.MinMaxPriorityQueue) failed
java.lang.IllegalStateException: Unexpected ref: (let (
(e!1 %0)
(e!2 %0)
(e!3 <>@inputField<(id:21)com.google.common.collect.MinMaxPriorityQueue$Heap#this$0>()[<>@inputField<(id:21)com.google.common.collect.MinMaxPriorityQueue#minHeap>()[e!2]])
)
(ite (= e!2 e!3) 0x735 <>@inputField<(id:21)com.google.common.collect.MinMaxPriorityQueue#queue>()[e!3]))
	at org.usvm.constraints.UTypeConstraints.getTypeStream(TypeConstraints.kt:280) ~[usvm-core-comp-231121-1810.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter$checkArrayStoreException$isRvalueSubtypeOf$1.invoke(JcInterpreter.kt:342) ~[usvm-jvm-comp-231121-1810.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter$checkArrayStoreException$isRvalueSubtypeOf$1.invoke(JcInterpreter.kt:339) ~[usvm-jvm-comp-231121-1810.jar:?]
	at org.usvm.StepScope.calcOnState(StepScope.kt:61) ~[usvm-core-comp-231121-1810.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.checkArrayStoreException(JcInterpreter.kt:339) ~[usvm-jvm-comp-231121-1810.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.visitAssignInst(JcInterpreter.kt:306) ~[usvm-jvm-comp-231121-1810.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.step(JcInterpreter.kt:159) ~[usvm-jvm-comp-231121-1810.jar:?]
	at org.usvm.machine.interpreter.JcInterpreter.step(JcInterpreter.kt:82) ~[usvm-jvm-comp-231121-1810.jar:?]
	at org.usvm.UMachine.run(Machine.kt:44) ~[usvm-core-comp-231121-1810.jar:?]
	at org.usvm.machine.JcMachine.analyze(JcMachine.kt:185) ~[usvm-jvm-comp-231121-1810.jar:?]
	at org.utbot.contest.usvm.ContestUsvmKt$runUsvmGeneration$1$9$states$2$1.invoke(ContestUsvm.kt:165) ~[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:?]
	at kotlin.concurrent.ThreadsKt$thread$thread$1.run(Thread.kt:30) ~[kotlin-stdlib-1.8.22.jar:1.8.22-release-407(1.8.22)]