Undo last commit

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_