diff --git a/mythril/laser/ethereum/transaction/symbolic.py b/mythril/laser/ethereum/transaction/symbolic.py
index 117322d8..9d2ed029 100644
--- a/mythril/laser/ethereum/transaction/symbolic.py
+++ b/mythril/laser/ethereum/transaction/symbolic.py
@@ -118,7 +118,7 @@ def _setup_global_state_for_execution(laser_evm, transaction) -> None:
         )
 
         global_state.mstate.constraints += transaction.world_state.node.constraints
-        new_node.constraints = global_state.mstate.constraints
+        new_node.constraints = global_state.mstate.constraints[:]
 
     global_state.world_state.transaction_sequence.append(transaction)
     global_state.node = new_node