diff --git a/mythril/laser/smt/bitvecfunc.py b/mythril/laser/smt/bitvecfunc.py
index 973f599f..6a96d2f1 100644
--- a/mythril/laser/smt/bitvecfunc.py
+++ b/mythril/laser/smt/bitvecfunc.py
@@ -72,12 +72,10 @@ 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_