Change Constraints.check_possibility() to Constraints.is_possible

mythril/laser/ethereum/state/constraints.py

@@ -28,7 +28,8 @@ class Constraints(list):
         self._default_timeout = 100
         self._is_possible = is_possible
 
-    def check_possibility(self) -> bool:
+    @property
+    def is_possible(self) -> bool:
         """
         :return: True/False based on the existence of solution of constraints
         """

mythril/laser/ethereum/svm.py

@@ -235,9 +235,7 @@ class LaserEVM:
                 continue
 
             new_states = [
-                state
+                state for state in new_states if state.mstate.constraints.is_possible
-                for state in new_states
-                if state.mstate.constraints.check_possibility()
             ]
 
             self.manage_cfg(op_code, new_states)