diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py
index 77d8af8c..e7d67836 100644
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@@ -109,7 +109,7 @@ class IntegerOverflowUnderflowModule(DetectionModule):
         )
         try:
             issue.debug = "Transaction Sequence: " + str(
-                solver.get_transaction_sequence(state, node.constraints)
+                solver.get_transaction_sequence(state, node.constraints + [constraint])
             )
         except UnsatError:
             return issues