diff --git a/mythril/analysis/modules/transaction_order_independence.py b/mythril/analysis/modules/transaction_order_independence.py
index 783bd6fb..a2e34554 100644
--- a/mythril/analysis/modules/transaction_order_independence.py
+++ b/mythril/analysis/modules/transaction_order_independence.py
@@ -79,9 +79,11 @@ def _can_change(constraints, variable):
         model = solver.get_model(_constraints)
     except UnsatError:
         return False
-    initial_value = int(str(model.eval(variable, model_completion=True)))
-    return _try_constraints(constraints, [variable != initial_value]) is not None
-
+    try:
+        initial_value = int(str(model.eval(variable, model_completion=True)))
+        return _try_constraints(constraints, [variable != initial_value]) is not None
+    except AttributeError:
+        return False
 
 def _get_influencing_storages(call):
     """ Examines a Call object and returns an iterator of all storages that influence the call value or direction"""
diff --git a/setup.py b/setup.py
index b107b7ed..88b359f2 100755
--- a/setup.py
+++ b/setup.py
@@ -4,6 +4,7 @@ import os
 
 # Package version (vX.Y.Z). It must match git tag being used for CircleCI
 # deployment; otherwise the build will failed.
+
 VERSION = "v0.17.0"
 
 class VerifyVersionCommand(install):