Remove string prefix from debugging output

mythril/analysis/modules/ether_thief.py

@@ -78,7 +78,7 @@ class EtherThief(DetectionModule):
                 ],
             )
 
-            debug = "Transaction Sequence: " + str(transaction_sequence)
+            debug = str(transaction_sequence)
 
             issue = Issue(
                 contract=node.contract_name,

mythril/analysis/modules/exceptions.py

@@ -42,7 +42,7 @@ class ReachableExceptionsModule(DetectionModule):
                             "Use `require()` for regular input checking."
                         )
 
-                        debug = "Transaction Sequence: " + str(
+                        debug = str(
                             solver.get_transaction_sequence(state, node.constraints)
                         )
 

mythril/analysis/modules/integer.py

@@ -108,7 +108,7 @@ class IntegerOverflowUnderflowModule(DetectionModule):
             operator
         )
         try:
-            issue.debug = "Transaction Sequence: " + str(
+            issue.debug = str(
                 solver.get_transaction_sequence(state, node.constraints + [constraint])
             )
         except UnsatError:
@@ -223,7 +223,7 @@ class IntegerOverflowUnderflowModule(DetectionModule):
                         "The subtraction can result in an integer underflow.\n"
                     )
 
-                    issue.debug = "Transaction Sequence: " + str(
+                    issue.debug = str(
                         solver.get_transaction_sequence(state, node.constraints)
                     )
                     issues.append(issue)

mythril/analysis/modules/suicide.py

@@ -46,7 +46,7 @@ def _analyze_state(state):
                 "The contract can be killed by anyone. Don't accidentally kill it."
             )
 
-        debug = "Transaction Sequence: " + str(transaction_sequence)
+        debug = str(transaction_sequence)
 
         issue = Issue(
             contract=node.contract_name,