diff --git a/mythril/laser/ethereum/state/constraints.py b/mythril/laser/ethereum/state/constraints.py
index b047583e..e3254d35 100644
--- a/mythril/laser/ethereum/state/constraints.py
+++ b/mythril/laser/ethereum/state/constraints.py
@@ -17,7 +17,7 @@ class Constraints(list):
 
     def check_possibility(self):
         if self.__possibility is None:
-            self.__possibility = (self.solver.check() != unsat)
+            self.__possibility = self.solver.check() != unsat
         if self.__possibility is False:
             self.solver = None
         return self.__possibility
diff --git a/mythril/laser/ethereum/svm.py b/mythril/laser/ethereum/svm.py
index 14f0dea6..70dc6d2c 100644
--- a/mythril/laser/ethereum/svm.py
+++ b/mythril/laser/ethereum/svm.py
@@ -190,7 +190,11 @@ class LaserEVM:
                 logging.debug("Encountered unimplemented instruction")
                 continue
 
-            new_states = [state for state in new_states if state.mstate.constraints.check_possibility()]
+            new_states = [
+                state
+                for state in new_states
+                if state.mstate.constraints.check_possibility()
+            ]
 
             self.manage_cfg(op_code, new_states)