diff --git a/mythril/__version__.py b/mythril/__version__.py
index 069a8c91..5984877d 100644
--- a/mythril/__version__.py
+++ b/mythril/__version__.py
@@ -4,4 +4,4 @@ This file is suitable for sourcing inside POSIX shell, e.g. bash as well
 as for importing into Python.
 """
 
-__version__ = "v0.21.9"
+__version__ = "v0.21.10"
diff --git a/mythril/laser/smt/bitvecfunc.py b/mythril/laser/smt/bitvecfunc.py
index 2b7b9e63..78b20e3e 100644
--- a/mythril/laser/smt/bitvecfunc.py
+++ b/mythril/laser/smt/bitvecfunc.py
@@ -72,10 +72,15 @@ def _comparison_helper(
     ):
         return Bool(z3.BoolVal(default_value), annotations=union)
 
+    '''
     return And(
         Bool(cast(z3.BoolRef, operation(a.raw, b.raw)), annotations=union),
         a.input_ == b.input_ if inputs_equal else a.input_ != b.input_,
     )
+    '''
+
+    return a.input_ == b.input_
+
 
 
 class BitVecFunc(BitVec):