diff --git a/mythril/laser/ethereum/state/constraints.py b/mythril/laser/ethereum/state/constraints.py
index bf0808ee..ad07fc09 100644
--- a/mythril/laser/ethereum/state/constraints.py
+++ b/mythril/laser/ethereum/state/constraints.py
@@ -56,7 +56,8 @@ class Constraints(list):
         """
         raise NotImplementedError
 
-    def get_list(self) -> List[Bool]:
+    @property
+    def as_list(self) -> List[Bool]:
         """
         :return: returns the list of constraints
         """
diff --git a/mythril/laser/ethereum/transaction/symbolic.py b/mythril/laser/ethereum/transaction/symbolic.py
index bb33ebfa..802fe580 100644
--- a/mythril/laser/ethereum/transaction/symbolic.py
+++ b/mythril/laser/ethereum/transaction/symbolic.py
@@ -133,7 +133,7 @@ def _setup_global_state_for_execution(laser_evm, transaction) -> None:
             )
 
         global_state.mstate.constraints += transaction.world_state.node.constraints
-        new_node.constraints = global_state.mstate.constraints.get_list()
+        new_node.constraints = global_state.mstate.constraints.as_list()
 
     global_state.world_state.transaction_sequence.append(transaction)
     global_state.node = new_node