diff --git a/paynt/synthesizer/policy_tree.py b/paynt/synthesizer/policy_tree.py
index 4588cb677..273d1c493 100644
--- a/paynt/synthesizer/policy_tree.py
+++ b/paynt/synthesizer/policy_tree.py
@@ -100,7 +100,7 @@ def split(self, splitter, suboptions, subfamilies):
 
     def double_check(self, quotient, prop):
         assert self.policy is not None
-        self.family.build()
+        quotient.build(self.family)
         if self.policy == False:
             result = self.family.mdp.model_check_property(prop)
             assert not result.sat