diff --git a/usvm-core/src/main/kotlin/org/usvm/constraints/TypeConstraints.kt b/usvm-core/src/main/kotlin/org/usvm/constraints/TypeConstraints.kt
index 1565640c7..924a03d41 100644
--- a/usvm-core/src/main/kotlin/org/usvm/constraints/TypeConstraints.kt
+++ b/usvm-core/src/main/kotlin/org/usvm/constraints/TypeConstraints.kt
@@ -70,10 +70,9 @@ class UTypeConstraints<Type>(
     init {
         equalityConstraints.subscribeEquality(::intersectRegions)
     }
-
-    @Suppress("UNCHECKED_CAST")
     val inputRefToTypeRegion: Map<UHeapRef, UTypeRegion<Type>>
         get(): Map<UHeapRef, UTypeRegion<Type>> {
+            @Suppress("UNCHECKED_CAST")
             val inputTypeRegions: MutableMap<UHeapRef, UTypeRegion<Type>> =
                 symbolicRefToTypeRegion.toMutableMap() as MutableMap<UHeapRef, UTypeRegion<Type>>
 
diff --git a/usvm-core/src/main/kotlin/org/usvm/constraints/ULogicalConstraints.kt b/usvm-core/src/main/kotlin/org/usvm/constraints/ULogicalConstraints.kt
index 6ed9f302e..04853d455 100644
--- a/usvm-core/src/main/kotlin/org/usvm/constraints/ULogicalConstraints.kt
+++ b/usvm-core/src/main/kotlin/org/usvm/constraints/ULogicalConstraints.kt
@@ -37,7 +37,7 @@ class ULogicalConstraints private constructor(
         get() = constraints.any(UBoolExpr::isFalse)
 
     fun contradiction(ctx: UContext<*>, ownership: MutabilityOwnership) {
-        constraints = persistentHashSetOf<KExpr<UBoolSort>>().add(ctx.falseExpr, ownership)
+        constraints = persistentHashSetOf<UBoolExpr>().add(ctx.falseExpr, ownership)
     }
 
     /**
diff --git a/usvm-util/src/main/kotlin/org/usvm/collections/immutable/internal/EndOfChain.kt b/usvm-util/src/main/kotlin/org/usvm/collections/immutable/internal/EndOfChain.kt
deleted file mode 100644
index f9e8688d1..000000000
--- a/usvm-util/src/main/kotlin/org/usvm/collections/immutable/internal/EndOfChain.kt
+++ /dev/null
@@ -1,8 +0,0 @@
-/*
- * Copyright 2016-2019 JetBrains s.r.o.
- * Use of this source code is governed by the Apache 2.0 License that can be found in the LICENSE.txt file.
- */
-
-package org.usvm.collections.immutable.internal
-
-internal object EndOfChain