diff --git a/kex-runner/src/main/kotlin/org/vorpal/research/kex/state/transformer/KexIntrinsicsAdapter.kt b/kex-runner/src/main/kotlin/org/vorpal/research/kex/state/transformer/KexIntrinsicsAdapter.kt
index 60cdf1f1a..e3ef8e6df 100644
--- a/kex-runner/src/main/kotlin/org/vorpal/research/kex/state/transformer/KexIntrinsicsAdapter.kt
+++ b/kex-runner/src/main/kotlin/org/vorpal/research/kex/state/transformer/KexIntrinsicsAdapter.kt
@@ -80,13 +80,6 @@ class KexIntrinsicsAdapter : RecollectingTransformer<KexIntrinsicsAdapter>, Incr
                 state {
                     lhv() equality (value `in` array)
                 }
-                val temp = generate(KexBool)
-                state {
-                    temp equality (length gt 0)
-                }
-                assume {
-                    temp equality true
-                }
             }
             kim.kexContains(method.cm) -> {
                 val (array, value) = call.arguments
@@ -103,13 +96,6 @@ class KexIntrinsicsAdapter : RecollectingTransformer<KexIntrinsicsAdapter>, Incr
                         }
                     }
                 }
-                val temp = generate(KexBool)
-                state {
-                    temp equality (length gt 0)
-                }
-                assume {
-                    temp equality true
-                }
             }
             in kim.kexGenerateArrayMethods(method.cm) -> {
                 state {