diff --git a/mythril/support/model.py b/mythril/support/model.py
index 2c6a8fe6..c82f134e 100644
--- a/mythril/support/model.py
+++ b/mythril/support/model.py
@@ -32,7 +32,8 @@ def get_model(constraints, minimize=(), maximize=(), enforce_execution_time=True
     for constraint in constraints:
         if type(constraint) == bool and not constraint:
             raise UnsatError
-    constraints = constraints.get_all_constraints()
+    if type(constraints) != tuple:
+        constraints = constraints.get_all_constraints()
     constraints = [constraint for constraint in constraints if type(constraint) != bool]
 
     for constraint in constraints: