diff --git a/mythril/analysis/modules/ether_thief.py b/mythril/analysis/modules/ether_thief.py
index 7e6d8855..4b9095ec 100644
--- a/mythril/analysis/modules/ether_thief.py
+++ b/mythril/analysis/modules/ether_thief.py
@@ -67,16 +67,6 @@ class EtherThief(DetectionModule):
 
         try:
 
-            model = solver.get_model(
-                node.constraints
-                + not_creator_constraints
-                + [
-                    UGT(call_value, eth_sent_total),
-                    state.environment.sender == ARBITRARY_SENDER_ADDRESS,
-                    target == state.environment.sender,
-                ]
-            )
-
             transaction_sequence = solver.get_transaction_sequence(
                 state,
                 node.constraints