diff --git a/paynt/verification/property.py b/paynt/verification/property.py
index 5feb8b15..17cad1b3 100644
--- a/paynt/verification/property.py
+++ b/paynt/verification/property.py
@@ -141,9 +141,7 @@ def transform_until_to_eventually(self):
         self.__init__(prop)
 
     def property_copy(self):
-        formula_copy = self.formula.clone()
-        property_copy = stormpy.core.Property(self.name, formula_copy)
-        return property_copy
+        return stormpy.core.Property(self.name, self.property.raw_formula.clone())
 
     def copy(self):
         return Property(self.property_copy())