Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      E ((((E ((E (X (is-fireable("Node25AsksItsLeafSetToLx4ToReplaceNode14")))) U (A (X (A (F (is-fireable("Node32ReceiveTheLeafSetOfLx0ToReplaceNode12")))))))) | ((E (X (is-fireable("Node5SelectsANodeOfTheLeafSetOfLx3ToReplaceNode12")))) & (A (F (is-fireable("Node7SelectsANodeOfTheLeafSetOfLx0ToReplaceNode13")))))) & ((((A (G ((is-fireable("Node7AsksItsLeafSetToRx6ToReplaceNode30")) & (is-fireable("Node26SelectsANodeOfTheLeafSetOfLx10ToReplaceNode12"))))) | (! (A (X (is-fireable("Node1SelectsANodeOfTheLeafSetOfRx1ToReplaceNode25")))))) | (is-fireable("Node8DetectsThatNode19CanReplaceNode15"))) | (is-fireable("Node28SelectsANodeOfTheLeafSetOfRx2ToReplaceNode27")))) U (E (G (A ((A ((E ((is-fireable("Node25IsNotRespondingToNode28ToReplaceNode15")) U (is-fireable("Node0ReceiveTheLeafSetOfRx6ToReplaceNode32")))) U (! (is-fireable("Node7SeeksANewMasterToReplaceNode14"))))) U ((is-fireable("Node6ReceiveTheLeafSetOfLx0ToReplaceNode9")) | (E (X (is-fireable("Node22ReceiveTheLeafSetOfRx8ToReplaceNode16"))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      E (((A (((((is-fireable("Node29ReceiveTheLeafSetOfLx3ToReplaceNode10")) | (! (is-fireable("Node12IsNotRespondingToNode26ToReplaceNode18")))) & ((! (is-fireable("Node27GetTheRightToManageTheCrashOfNode10"))) & (is-fireable("Node4IsNotRespondingToNode3ToReplaceNode5")))) | ((! (is-fireable("Node27IsNotRespondingToNode2ToReplaceNode11"))) | ((A ((is-fireable("Rx1ReceiveARequestToSendItsLeafSetToNode10")) U (is-fireable("Node1SelectsANodeOfTheLeafSetOfRx4ToReplaceNode18")))) & (A (X (is-fireable("Node0AsksItsLeafSetToLx6ToReplaceNode16"))))))) U (is-fireable("Node7GetTheRightToManageTheCrashOfNode18")))) & (((A (F (! (E ((is-fireable("Node11ReceiveTheLeafSetOfLx6ToReplaceNode5")) U (is-fireable("Node22AsksItsLeafSetToLx6ToReplaceNode5"))))))) & ((E (X (E (X (is-fireable("Node2SelectsANodeOfTheLeafSetOfLx6ToReplaceNode8")))))) | (E (X (! (is-fireable("Node5IsNotRespondingToNode29ToReplaceNode25"))))))) & (is-fireable("Node27IsNotRespondingToNode4ToReplaceNode20")))) U ((A (F ((((E (G (is-fireable("Node18SelectsANodeOfTheLeafSetOfLx3ToReplaceNode0")))) | ((is-fireable("Node8ReceiveTheLeafSetOfLx8ToReplaceNode11")) | (is-fireable("Node4DetectsThatNode26CanReplaceNode17")))) & ((E (G (is-fireable("Node5AsksItsLeafSetToLx10ToReplaceNode10")))) | ((is-fireable("Node3AsksItsLeafSetToRx7ToReplaceNode21")) & (is-fireable("Node12ReceiveTheLeafSetOfRx1ToReplaceNode26"))))) | (E ((A (F (is-fireable("Node27InformsHeIsTheNodeMasterToNode29")))) U (is-fireable("Node3AsksItsLeafSetToLx9ToReplaceNode10"))))))) | (is-fireable("Node14ReceiveTheLeafSetOfRx10ToReplaceNode28"))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      ! (E (F ((E (F (is-fireable("Node29ReceiveTheLeafSetOfLx9ToReplaceNode7")))) & ((is-fireable("Node8DetectsThatNode21CanReplaceNode17")) | ((E (F (is-fireable("Node4SelectsANodeOfTheLeafSetOfLx10ToReplaceNode12")))) & (! (is-fireable("Node30InformsHeIsTheNodeMasterToNode9"))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      (E (X (A ((A (((! (is-fireable("Node32SelectsANodeOfTheLeafSetOfLx4ToReplaceNode8"))) | ((is-fireable("Node24AsksItsLeafSetToRx7ToReplaceNode19")) & (is-fireable("Node25IsNotRespondingToNode3ToReplaceNode15")))) U (A (X (is-fireable("Node32AsksItsLeafSetToRx1ToReplaceNode25")))))) U (((A (F (is-fireable("Node9AsksItsLeafSetToLx0ToReplaceNode5")))) & ((! (is-fireable("Node26DetectsCrashOfNode18"))) & (E (F (is-fireable("Node24IsNotRespondingToNode7ToReplaceNode9")))))) | (! (A ((is-fireable("Node23IsNotRespondingToNode29ToReplaceNode11")) U (is-fireable("Node24IsNotRespondingToNode32ToReplaceNode20")))))))))) & (E ((A (X (A ((A ((is-fireable("Node10ReceiveTheLeafSetOfRx3ToReplaceNode27")) U (is-fireable("Node6IsNotRespondingToNode3ToReplaceNode9")))) U (A (F (is-fireable("Node6ReceiveTheLeafSetOfRx0ToReplaceNode30")))))))) U (((E ((is-fireable("Node32DetectsThatNode4CanReplaceNode20")) U (A (F (is-fireable("Node10AsksItsLeafSetToLx5ToReplaceNode3")))))) & (E (X (A (F (is-fireable("Node26ReceiveTheLeafSetOfLx1ToReplaceNode5"))))))) & ((((((is-fireable("Node32DetectsThatNode2CanReplaceNode12")) & (is-fireable("Node7ReceiveTheLeafSetOfLx1ToReplaceNode8"))) & (A (F (is-fireable("Node11AsksItsLeafSetToLx6ToReplaceNode3"))))) & (A ((is-fireable("Node12IsNotRespondingToNode24ToReplaceNode15")) U (is-fireable("Node11DetectsCrashOfNode24"))))) & (E (((is-fireable("Node8SelectsANodeOfTheLeafSetOfRx8ToReplaceNode19")) | (is-fireable("Node28DetectsThatNode6CanReplaceNode17"))) U (E (F (is-fireable("Node0DetectsThatNode3CanReplaceNode21"))))))) | ((is-fireable("Node15ReceiveTheLeafSetOfRx8ToReplaceNode19")) | (((E (X (is-fireable("Node9SelectsANodeOfTheLeafSetOfRx0ToReplaceNode21")))) & (A (G (is-fireable("Node2IsNotRespondingToNode31ToReplaceNode25"))))) | (((is-fireable("Node16ReceiveTheLeafSetOfRx5ToReplaceNode26")) | (is-fireable("Node27ReceiveTheLeafSetOfLx6ToReplaceNode14"))) & ((is-fireable("Lx2SendsItsLeafSetToNode14")) & (is-fireable("Node32SelectsANodeOfTheLeafSetOfLx1ToReplaceNode14"))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      E (((((((is-fireable("Node32DetectsThatNode29CanReplaceNode25")) & (is-fireable("Node21InformsHeIsTheNodeMasterToNode23"))) | (is-fireable("Node2SelectsANodeOfTheLeafSetOfRx6ToReplaceNode25"))) & (! (A (F (is-fireable("Node27AsksItsLeafSetToLx6ToReplaceNode6")))))) & (is-fireable("Node25IsNotRespondingToNode32ToReplaceNode10"))) | (is-fireable("Node2SelectsANodeOfTheLeafSetOfLx0ToReplaceNode8"))) U (E (F (A (X ((is-fireable("Node17ReceiveTheLeafSetOfLx10ToReplaceNode1")) | (((is-fireable("Node8AsksItsLeafSetToRx7ToReplaceNode28")) & (is-fireable("Node26IsNotRespondingToNode31ToReplaceNode6"))) & (is-fireable("Node3DetectsThatNode8CanReplaceNode23")))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (((E (F (A (X (A (F (is-fireable("Node4AsksItsLeafSetToLx1ToReplaceNode5")))))))) | (! (is-fireable("Node17ReceiveTheLeafSetOfRx6ToReplaceNode28")))) U ((E ((A (G (((is-fireable("Node7ReceiveTheLeafSetOfRx4ToReplaceNode23")) & (is-fireable("Node6ReceiveTheLeafSetOfRx8ToReplaceNode21"))) & (is-fireable("Node14AsksItsLeafSetToRx9ToReplaceNode30"))))) U (is-fireable("Node15AsksItsLeafSetToLx8ToReplaceNode4")))) | ((! ((is-fireable("Node23AsksItsLeafSetToLx5ToReplaceNode5")) | (is-fireable("Node2SelectsANodeOfTheLeafSetOfLx2ToReplaceNode0")))) & (! (A ((A (F (is-fireable("Node25ReceiveTheLeafSetOfLx10ToReplaceNode7")))) U (! (is-fireable("Node19AsksItsLeafSetToRx8ToReplaceNode31")))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (F (A (X (A ((! (A ((is-fireable("Node11SelectsANodeOfTheLeafSetOfRx7ToReplaceNode29")) U (is-fireable("Node14ReceiveTheLeafSetOfLx5ToReplaceNode6"))))) U (E (G (is-fireable("Node22SelectsANodeOfTheLeafSetOfLx7ToReplaceNode6")))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (X (A (F (((E (G ((is-fireable("Node7GetTheRightToManageTheCrashOfNode12")) & (is-fireable("Node9SelectsANodeOfTheLeafSetOfRx0ToReplaceNode21"))))) | (is-fireable("Node18ReceiveTheLeafSetOfLx8ToReplaceNode1"))) | ((is-fireable("Node5SelectsANodeOfTheLeafSetOfLx2ToReplaceNode13")) & (A (X (A (X (is-fireable("Node27IsNotRespondingToNode0ToReplaceNode18")))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      ! (E (X (A (G ((A (G (A (X (is-fireable("Node19AsksItsLeafSetToLx2ToReplaceNode11")))))) | (! (A (F (is-fireable("Node14ReceiveTheLeafSetOfLx8ToReplaceNode9"))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G (A (((((A ((is-fireable("Node1ReceiveTheLeafSetOfRx6ToReplaceNode24")) U (is-fireable("Node9ReceiveTheLeafSetOfLx8ToReplaceNode4")))) & (E (F (is-fireable("Node31AsksItsLeafSetToLx10ToReplaceNode14"))))) | (E (F (A ((is-fireable("Node6IsNotRespondingToNode0ToReplaceNode22")) U (is-fireable("Node24ReceiveTheLeafSetOfLx9ToReplaceNode15"))))))) & (E (X ((A (X (is-fireable("Node17AsksItsLeafSetToLx9ToReplaceNode6")))) & (is-fireable("Node19DetectsCrashOfNode17")))))) U (! ((E (G (is-fireable("Node25DetectsThatNode24CanReplaceNode23")))) & (((is-fireable("Node20AsksItsLeafSetToRx4ToReplaceNode17")) | (is-fireable("Node1AsksItsLeafSetToRx0ToReplaceNode30"))) & ((is-fireable("Node22ReceiveTheLeafSetOfRx9ToReplaceNode30")) | (is-fireable("Node1AsksItsLeafSetToRx3ToReplaceNode18")))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      ! ((E (F (E (F (is-fireable("Node29AsksItsLeafSetToLx7ToReplaceNode13")))))) & (E (F (is-fireable("Node12ReceiveTheLeafSetOfLx6ToReplaceNode11")))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A ((E (X ((is-fireable("Node3ReceiveTheLeafSetOfLx6ToReplaceNode2")) & (! (A (((is-fireable("Node13IsNotRespondingToNode2ToReplaceNode15")) & (is-fireable("Node18SelectsANodeOfTheLeafSetOfLx5ToReplaceNode13"))) U (A (X (is-fireable("Node16AsksItsLeafSetToRx10ToReplaceNode27")))))))))) U (E ((A ((A ((! (is-fireable("Node25AsksItsLeafSetToRx9ToReplaceNode30"))) U (A ((is-fireable("Node14ReceiveTheLeafSetOfLx8ToReplaceNode9")) U (is-fireable("Node9AsksItsLeafSetToLx4ToReplaceNode16")))))) U (! (A (G (is-fireable("Node25AsksItsLeafSetToRx2ToReplaceNode23"))))))) U (is-fireable("Rx8SendsItsLeafSetToNode30")))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-12
   "Automatically generated by Citili v2023"
   is:
      ! (A (F ((A ((is-fireable("Node9SelectsANodeOfTheLeafSetOfRx7ToReplaceNode21")) U ((A ((is-fireable("Node13SelectsANodeOfTheLeafSetOfLx7ToReplaceNode8")) U (is-fireable("Node12ReceiveTheLeafSetOfLx9ToReplaceNode6")))) & ((! (is-fireable("Node27DetectsThatNode6CanReplaceNode20"))) & (A (X (is-fireable("Node27ReceiveTheLeafSetOfRx9ToReplaceNode25")))))))) | ((! ((is-fireable("Node9ReceiveTheLeafSetOfLx4ToReplaceNode4")) | ((! (is-fireable("Node11SelectsANodeOfTheLeafSetOfLx6ToReplaceNode13"))) & (E (F (is-fireable("Node4SelectsANodeOfTheLeafSetOfLx5ToReplaceNode8"))))))) | (E ((is-fireable("Node4DetectsThatNode27CanReplaceNode25")) U ((is-fireable("Node4AsksItsLeafSetToLx2ToReplaceNode10")) | ((is-fireable("Node19AsksItsLeafSetToRx8ToReplaceNode28")) | (is-fireable("Node6IsNotRespondingToNode4ToReplaceNode17"))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-13
   "Automatically generated by Citili v2023"
   is:
      A (G ((E (G (A ((is-fireable("Node32DetectsThatNode5CanReplaceNode18")) U ((A (F (is-fireable("Node3AsksItsLeafSetToRx0ToReplaceNode23")))) | (E (X (is-fireable("Node2SeeksANewMasterToReplaceNode15"))))))))) | (((! (A (F (! (is-fireable("Node13SelectsANodeOfTheLeafSetOfRx2ToReplaceNode21")))))) & ((A ((! (is-fireable("Node5SelectsANodeOfTheLeafSetOfLx9ToReplaceNode10"))) U ((is-fireable("Node5AsksItsLeafSetToRx1ToReplaceNode31")) | (is-fireable("Node13SelectsANodeOfTheLeafSetOfLx0ToReplaceNode9"))))) & ((! ((is-fireable("Node3SelectsANodeOfTheLeafSetOfRx4ToReplaceNode20")) | (is-fireable("Node17AsksItsLeafSetToRx2ToReplaceNode20")))) & ((E ((is-fireable("Node0DetectsThatNode5CanReplaceNode21")) U (is-fireable("Node15SeeksANewMasterToReplaceNode12")))) | (! (is-fireable("Node8InformsHeIsTheNodeMasterToNode10"))))))) & ((((is-fireable("Node22IsNotRespondingToNode26ToReplaceNode16")) & ((is-fireable("Node16AsksItsLeafSetToRx9ToReplaceNode20")) | ((is-fireable("Node30ReceiveTheLeafSetOfRx5ToReplaceNode32")) & (is-fireable("Node0DetectsThatNode27CanReplaceNode25"))))) | (((A (X (is-fireable("Node0AsksItsLeafSetToLx8ToReplaceNode16")))) | ((is-fireable("Node6AsksItsLeafSetToRx4ToReplaceNode28")) & (is-fireable("Node20SelectsANodeOfTheLeafSetOfLx9ToReplaceNode8")))) & ((E (F (is-fireable("Node12AsksItsLeafSetToRx6ToReplaceNode21")))) | ((is-fireable("Node0AsksItsLeafSetToLx3ToReplaceNode10")) & (is-fireable("Node17AsksItsLeafSetToLx6ToReplaceNode8")))))) | ((A (F (E (F (is-fireable("Node11AsksItsLeafSetToRx10ToReplaceNode24")))))) & ((E (F (is-fireable("Node9IsNotRespondingToNode29ToReplaceNode15")))) | (E (F (is-fireable("Node23AsksItsLeafSetToLx1ToReplaceNode12"))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-14
   "Automatically generated by Citili v2023"
   is:
      A (X (E (F (E (F (is-fireable("Node1InformsHeIsTheNodeMasterToNode28")))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-CTLFireability-15
   "Automatically generated by Citili v2023"
   is:
      E (X ((E (F ((((! (is-fireable("Node11GetTheRightToManageTheCrashOfNode20"))) & (A (X (is-fireable("Node7DetectsThatNode23CanReplaceNode9"))))) & (E ((is-fireable("Node4IsNotRespondingToNode2ToReplaceNode10")) U (is-fireable("Node1SelectsANodeOfTheLeafSetOfLx10ToReplaceNode16"))))) & ((is-fireable("Node7AsksItsLeafSetToRx6ToReplaceNode22")) & (A (F (is-fireable("Node4DetectsThatNode27CanReplaceNode26")))))))) | (E (G ((E (F (A (F (is-fireable("Node4SelectsANodeOfTheLeafSetOfRx9ToReplaceNode20")))))) | (is-fireable("Node25SeeksANewMasterToReplaceNode30")))))))
   end.
