Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      ! (E ((((((A ((is-fireable("Node1DetectsThatNode7CanReplaceNode11")) U (is-fireable("Node23IsNotRespondingToNode3ToReplaceNode13")))) | (! (is-fireable("Node26SelectsANodeOfTheLeafSetOfRx4ToReplaceNode21")))) & (is-fireable("Node25IsNotRespondingToNode1ToReplaceNode12"))) & (is-fireable("Node8DetectsThatNode9CanReplaceNode14"))) & (E (F (((A (X (is-fireable("Node9SelectsANodeOfTheLeafSetOfRx7ToReplaceNode29")))) & (E (X (is-fireable("Node24AsksItsLeafSetToLx3ToReplaceNode5"))))) & (E (X (is-fireable("Node25ReceiveTheLeafSetOfLx6ToReplaceNode12")))))))) U ((E (G (! (is-fireable("Node11AsksItsLeafSetToLx2ToReplaceNode10"))))) & (! (is-fireable("Node19SelectsANodeOfTheLeafSetOfRx0ToReplaceNode17"))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      ((A (((! (A (X ((is-fireable("Node17ReceiveTheLeafSetOfLx3ToReplaceNode15")) | (is-fireable("Node20SelectsANodeOfTheLeafSetOfLx7ToReplaceNode3")))))) & (((! (is-fireable("Node21IsNotRespondingToNode25ToReplaceNode12"))) & (A (G (is-fireable("Node7SelectsANodeOfTheLeafSetOfRx7ToReplaceNode25"))))) | (A (X ((is-fireable("Node8DetectsThatNode17CanReplaceNode16")) | (is-fireable("Node10IsNotRespondingToNode6ToReplaceNode21"))))))) U (E (X ((is-fireable("Node13DetectsCrashOfNode5")) & (E ((is-fireable("Node19ReceiveTheLeafSetOfRx3ToReplaceNode21")) U (is-fireable("Node25IsNotRespondingToNode28ToReplaceNode21"))))))))) | (! ((E (F (A (F (is-fireable("Node13AsksItsLeafSetToRx2ToReplaceNode27")))))) | (E (G (is-fireable("Node18ReceiveTheLeafSetOfRx4ToReplaceNode26"))))))) | (E (X (is-fireable("Node16AsksItsLeafSetToLx1ToReplaceNode6"))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      ! (A (F (A (X (! ((is-fireable("Node10IsNotRespondingToNode31ToReplaceNode13")) | (((is-fireable("Node28ReceiveTheLeafSetOfLx3ToReplaceNode15")) & (is-fireable("Node17ReceiveTheLeafSetOfRx7ToReplaceNode21"))) | (! (is-fireable("Node18ReceiveTheLeafSetOfRx2ToReplaceNode29"))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      (A ((A (G (! (E (X (is-fireable("Node21SelectsANodeOfTheLeafSetOfLx4ToReplaceNode4"))))))) U (is-fireable("Node13AsksItsLeafSetToRx0ToReplaceNode28")))) | (A (X (is-fireable("Node7IsNotRespondingToNode31ToReplaceNode20"))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E ((A (F ((A (X ((is-fireable("Node18AsksItsLeafSetToRx0ToReplaceNode20")) | ((is-fireable("Node0AsksItsLeafSetToRx7ToReplaceNode29")) | (is-fireable("Node23GetTheRightToManageTheCrashOfNode13")))))) | ((is-fireable("Node6AsksItsLeafSetToRx0ToReplaceNode28")) | (A ((E (F (is-fireable("Node29DetectsThatNode24CanReplaceNode16")))) U ((is-fireable("Node17ReceiveTheLeafSetOfLx0ToReplaceNode13")) & (is-fireable("Node29DetectsThatNode27CanReplaceNode9"))))))))) U (A (X (A (G (E (X (is-fireable("Node9ReceiveTheLeafSetOfLx7ToReplaceNode15")))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (F (A ((is-fireable("Node7IsNotRespondingToNode29ToReplaceNode20")) U (E (F (is-fireable("Node24AsksItsLeafSetToRx3ToReplaceNode20")))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      E (F ((! (A ((((E (F (is-fireable("Node31AsksItsLeafSetToLx0ToReplaceNode1")))) | ((is-fireable("Node4AsksItsLeafSetToRx2ToReplaceNode30")) & (is-fireable("Node10SelectsANodeOfTheLeafSetOfRx2ToReplaceNode28")))) | (! (is-fireable("Node23ReceiveTheLeafSetOfLx5ToReplaceNode2")))) U (E (F ((is-fireable("Node31DetectsThatNode27CanReplaceNode15")) | (is-fireable("Node26DetectsThatNode24CanReplaceNode21")))))))) & (is-fireable("Node6ReceiveTheLeafSetOfLx3ToReplaceNode1"))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      ! (E (X (E (G (E (F ((! (is-fireable("Node22IsNotRespondingToNode8ToReplaceNode21"))) | (is-fireable("Node16ReceiveTheLeafSetOfLx7ToReplaceNode11")))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      ! (E (F ((A (G (is-fireable("Node11AsksItsLeafSetToLx4ToReplaceNode15")))) | (A (((E (F (is-fireable("Node30ReceiveTheLeafSetOfLx4ToReplaceNode6")))) & (((is-fireable("Node10DetectsCrashOfNode19")) | (is-fireable("Node25DetectsThatNode13CanReplaceNode19"))) | ((is-fireable("Node20IsNotRespondingToNode31ToReplaceNode15")) | (is-fireable("Node8IsNotRespondingToNode27ToReplaceNode15"))))) U (A (F (E (X (is-fireable("Node1InformsHeIsTheNodeMasterToNode6")))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A ((is-fireable("Node22InformsHeIsTheNodeMasterToNode13")) U (E (F (A (F ((is-fireable("Node5IsNotRespondingToNode32ToReplaceNode9")) | ((! (is-fireable("Node8SelectsANodeOfTheLeafSetOfRx7ToReplaceNode26"))) & (A (X (is-fireable("Node26SelectsANodeOfTheLeafSetOfLx4ToReplaceNode9")))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (X (A (X (E ((A (X (! (is-fireable("Node26ReceiveTheLeafSetOfRx3ToReplaceNode28"))))) U ((! (E (X (is-fireable("Node31SelectsANodeOfTheLeafSetOfRx5ToReplaceNode32"))))) & (((is-fireable("Node32DetectsThatNode29CanReplaceNode9")) | (is-fireable("Node24SelectsANodeOfTheLeafSetOfLx7ToReplaceNode10"))) & ((is-fireable("Node1DetectsThatNode25CanReplaceNode20")) & (is-fireable("Lx7ReceiveARequestToSendItsLeafSetToNode10"))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      ! (E (F (is-fireable("Node1SelectsANodeOfTheLeafSetOfRx5ToReplaceNode21"))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      A (F (E (X ((E (G (is-fireable("Node1AsksItsLeafSetToRx6ToReplaceNode17")))) | (! ((A ((is-fireable("Node31SelectsANodeOfTheLeafSetOfLx1ToReplaceNode10")) U (is-fireable("Node26DetectsThatNode9CanReplaceNode12")))) | (! ((is-fireable("Node22IsNotRespondingToNode0ToReplaceNode12")) & (is-fireable("Node31AsksItsLeafSetToLx0ToReplaceNode4"))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      (((A (G ((A (X (is-fireable("Node17ReceiveTheLeafSetOfLx2ToReplaceNode4")))) & (! ((is-fireable("Node20ReceiveTheLeafSetOfLx6ToReplaceNode13")) | (! (is-fireable("Node0GetTheRightToManageTheCrashOfNode13")))))))) | (E (G (A (F (((is-fireable("Node11IsNotRespondingToNode5ToReplaceNode18")) | (is-fireable("Node3DetectsThatNode6CanReplaceNode10"))) | (! (is-fireable("Node2SelectsANodeOfTheLeafSetOfRx3ToReplaceNode29"))))))))) & ((A (G (! ((is-fireable("Node28SelectsANodeOfTheLeafSetOfRx3ToReplaceNode17")) & ((is-fireable("Node22ReceiveTheLeafSetOfRx6ToReplaceNode31")) & (is-fireable("Node11ReceiveTheLeafSetOfRx0ToReplaceNode32"))))))) | (A (G (! (((is-fireable("Node1ReceiveTheLeafSetOfLx6ToReplaceNode16")) | (is-fireable("Node7Crash"))) & (A (G (is-fireable("Node5DetectsThatNode9CanReplaceNode13")))))))))) | ((E (G (A ((is-fireable("Node25SelectsANodeOfTheLeafSetOfRx7ToReplaceNode26")) U (is-fireable("Node31IsNotRespondingToNode0ToReplaceNode7")))))) | (E (X (is-fireable("Node6IsNotRespondingToNode32ToReplaceNode21")))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      E (F (E (X ((A (F (A (G (is-fireable("Node14SelectsANodeOfTheLeafSetOfLx1ToReplaceNode6")))))) | (is-fireable("Node3DetectsThatNode4CanReplaceNode14"))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C08-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      ! (E (G (A ((! (is-fireable("Node0DetectsThatNode30CanReplaceNode5"))) U ((A (F ((is-fireable("Node29ReceiveTheLeafSetOfLx4ToReplaceNode11")) & (is-fireable("Node5AsksItsLeafSetToRx7ToReplaceNode20"))))) | (A (G (is-fireable("Node30DetectsThatNode29CanReplaceNode4")))))))))
   end.
