Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-00
   "Automatically generated by Citili v2025"
   is:
      A (G (! ((((! ((! ((is-fireable("Node14AsksItsLeafSetToLx8ToReplaceNode8")) | (is-fireable("Node25ReceiveTheLeafSetOfRx10ToReplaceNode24")))) | (is-fireable("Node1ReceiveTheLeafSetOfLx4ToReplaceNode11")))) & (! (((! ((is-fireable("Node10InformsHeIsTheNodeMasterToNode29")) | (is-fireable("Node8ReceiveTheLeafSetOfRx7ToReplaceNode23")))) & (is-fireable("Node2AsksItsLeafSetToLx3ToReplaceNode1"))) | ((is-fireable("Node7AsksItsLeafSetToLx8ToReplaceNode9")) | (! (is-fireable("Node1ReceiveTheLeafSetOfRx4ToReplaceNode30"))))))) | ((((! (((is-fireable("Node27SelectsANodeOfTheLeafSetOfRx8ToReplaceNode18")) | (is-fireable("Lx9ReceiveARequestToSendItsLeafSetToNode2"))) & ((is-fireable("Node25SelectsANodeOfTheLeafSetOfLx8ToReplaceNode7")) | (is-fireable("Node16ReceiveTheLeafSetOfLx5ToReplaceNode12"))))) | (! (is-fireable("Node30AsksItsLeafSetToLx5ToReplaceNode12")))) | (((is-fireable("Node17ReceiveTheLeafSetOfLx8ToReplaceNode10")) & ((is-fireable("Node15ReceiveTheLeafSetOfRx10ToReplaceNode27")) & (is-fireable("Node0AsksItsLeafSetToLx5ToReplaceNode8")))) | (((! (is-fireable("Node14AsksItsLeafSetToLx3ToReplaceNode3"))) | (! (is-fireable("Node28SelectsANodeOfTheLeafSetOfRx2ToReplaceNode25")))) & ((is-fireable("Node7ReceiveTheLeafSetOfLx5ToReplaceNode13")) & (! (is-fireable("Node28DetectsThatNode5CanReplaceNode17"))))))) | ((((((is-fireable("Node16ReceiveTheLeafSetOfLx0ToReplaceNode12")) & (is-fireable("Lx8ReceiveARequestToSendItsLeafSetToNode10"))) & ((is-fireable("Node4DetectsThatNode13CanReplaceNode18")) | (is-fireable("Node25IsNotRespondingToNode0ToReplaceNode17")))) & (is-fireable("Node22ReceiveTheLeafSetOfLx6ToReplaceNode12"))) | (is-fireable("Node19AsksItsLeafSetToRx4ToReplaceNode18"))) & ((is-fireable("Node23InformsHeIsTheNodeMasterToNode5")) | (is-fireable("Node5ReceiveTheLeafSetOfLx10ToReplaceNode14")))))) & (is-fireable("Node21IsNotRespondingToNode23ToReplaceNode17")))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-01
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (is-fireable("Lx9SendsItsLeafSetToNode2"))) | ((is-fireable("Node5DetectsThatNode11CanReplaceNode16")) | ((is-fireable("Node17DetectsCrashOfNode9")) & (is-fireable("Node31DetectsThatNode8CanReplaceNode18"))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-02
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("Node13AsksItsLeafSetToLx9ToReplaceNode5")))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-03
   "Automatically generated by Citili v2025"
   is:
      E (F ((is-fireable("Node31SelectsANodeOfTheLeafSetOfRx4ToReplaceNode30")) & ((! (((is-fireable("Node7ReceiveTheLeafSetOfRx5ToReplaceNode17")) & ((is-fireable("Node4ReceiveTheLeafSetOfRx3ToReplaceNode20")) | (is-fireable("Node10ReceiveTheLeafSetOfLx3ToReplaceNode13")))) & (is-fireable("Node9SelectsANodeOfTheLeafSetOfRx5ToReplaceNode30")))) & (((((((is-fireable("Node6SelectsANodeOfTheLeafSetOfRx4ToReplaceNode30")) & ((is-fireable("Node26SelectsANodeOfTheLeafSetOfLx9ToReplaceNode0")) | (is-fireable("Node18ReceiveTheLeafSetOfRx1ToReplaceNode25")))) | (((is-fireable("Node29IsNotRespondingToNode30ToReplaceNode19")) | (is-fireable("Node28ReceiveTheLeafSetOfRx1ToReplaceNode19"))) & ((is-fireable("Node4DetectsThatNode8CanReplaceNode9")) & (is-fireable("Node9AsksItsLeafSetToRx6ToReplaceNode30"))))) | ((is-fireable("Node7SeeksANewMasterToReplaceNode27")) & (! ((is-fireable("Node16AsksItsLeafSetToLx0ToReplaceNode7")) | (is-fireable("Node0ReceiveTheLeafSetOfRx3ToReplaceNode32")))))) & (! (is-fireable("Node5AsksItsLeafSetToLx8ToReplaceNode16")))) | ((is-fireable("Node21SelectsANodeOfTheLeafSetOfRx2ToReplaceNode23")) | ((((is-fireable("Node4AsksItsLeafSetToLx8ToReplaceNode6")) | (is-fireable("Node14AsksItsLeafSetToLx9ToReplaceNode5"))) & (! ((is-fireable("Node32ReceiveTheLeafSetOfRx0ToReplaceNode19")) & (is-fireable("Node31DetectsThatNode9CanReplaceNode15"))))) | ((is-fireable("Node22SelectsANodeOfTheLeafSetOfLx5ToReplaceNode5")) & (((is-fireable("Node23AsksItsLeafSetToLx1ToReplaceNode2")) | (is-fireable("Node1SeeksANewMasterToReplaceNode26"))) | ((is-fireable("Node0AsksItsLeafSetToLx6ToReplaceNode4")) | (is-fireable("Node15AsksItsLeafSetToRx9ToReplaceNode30")))))))) & ((is-fireable("Node13AsksItsLeafSetToLx5ToReplaceNode2")) | (! ((! (is-fireable("Node20IsNotRespondingToNode10ToReplaceNode13"))) | (is-fireable("Node16ReceiveTheLeafSetOfLx9ToReplaceNode3")))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-04
   "Automatically generated by Citili v2025"
   is:
      A (G ((! (is-fireable("Node15SelectsANodeOfTheLeafSetOfLx8ToReplaceNode3"))) | (is-fireable("Node9AsksItsLeafSetToLx5ToReplaceNode4"))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-05
   "Automatically generated by Citili v2025"
   is:
      A (G (! (is-fireable("Node5IsNotRespondingToNode3ToReplaceNode6"))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-06
   "Automatically generated by Citili v2025"
   is:
      A (G ((((is-fireable("Node10AsksItsLeafSetToLx8ToReplaceNode0")) & (is-fireable("Node7AsksItsLeafSetToRx8ToReplaceNode17"))) & ((is-fireable("Node30DetectsCrashOfNode9")) | (((is-fireable("Node22AsksItsLeafSetToRx9ToReplaceNode30")) | ((is-fireable("Node8SelectsANodeOfTheLeafSetOfLx1ToReplaceNode5")) | ((! ((is-fireable("Node7ReceiveTheLeafSetOfLx7ToReplaceNode14")) | (is-fireable("Node32ReceiveTheLeafSetOfLx3ToReplaceNode5")))) | (! (is-fireable("Node29DetectsThatNode24CanReplaceNode9")))))) | (((((! (is-fireable("Node25SelectsANodeOfTheLeafSetOfRx1ToReplaceNode26"))) & ((is-fireable("Node10IsNotRespondingToNode29ToReplaceNode13")) | (is-fireable("Node8ReceiveTheLeafSetOfRx0ToReplaceNode18")))) & (is-fireable("Node5SelectsANodeOfTheLeafSetOfRx6ToReplaceNode23"))) | (is-fireable("Node26SelectsANodeOfTheLeafSetOfLx7ToReplaceNode1"))) & ((! (is-fireable("Node22IsNotRespondingToNode9ToReplaceNode14"))) | ((((is-fireable("Rx6ReceiveARequestToSendItsLeafSetToNode28")) & (is-fireable("Node29SelectsANodeOfTheLeafSetOfLx3ToReplaceNode14"))) | ((is-fireable("Node18ReceiveTheLeafSetOfLx6ToReplaceNode5")) & (is-fireable("Node21ReceiveTheLeafSetOfLx10ToReplaceNode11")))) | (((is-fireable("Node30SelectsANodeOfTheLeafSetOfRx7ToReplaceNode26")) | (is-fireable("Node27SelectsANodeOfTheLeafSetOfLx1ToReplaceNode5"))) | (! (is-fireable("Node24SelectsANodeOfTheLeafSetOfRx4ToReplaceNode17")))))))))) | (! (is-fireable("Node19AsksItsLeafSetToLx6ToReplaceNode3")))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-07
   "Automatically generated by Citili v2025"
   is:
      E (F (((is-fireable("Node0ReceiveTheLeafSetOfRx5ToReplaceNode25")) & ((! ((is-fireable("Node15ReceiveTheLeafSetOfLx1ToReplaceNode14")) & (((is-fireable("Node32DetectsThatNode10CanReplaceNode18")) & (is-fireable("Node28SelectsANodeOfTheLeafSetOfLx3ToReplaceNode9"))) | (is-fireable("Node13ReceiveTheLeafSetOfRx10ToReplaceNode17"))))) | (((((is-fireable("Node20AsksItsLeafSetToRx2ToReplaceNode32")) & (! ((is-fireable("Node15AsksItsLeafSetToRx2ToReplaceNode28")) | (is-fireable("Node25IsNotRespondingToNode0ToReplaceNode20"))))) | (! (((is-fireable("Node32ReceiveTheLeafSetOfRx10ToReplaceNode29")) & (is-fireable("Node27IsNotRespondingToNode2ToReplaceNode7"))) | (! (is-fireable("Node0ReceiveTheLeafSetOfLx10ToReplaceNode4")))))) | (is-fireable("Node25IsNotRespondingToNode32ToReplaceNode9"))) | ((((! (is-fireable("Node19SelectsANodeOfTheLeafSetOfLx4ToReplaceNode5"))) & ((! (is-fireable("Node29ReceiveTheLeafSetOfRx8ToReplaceNode23"))) | (! (is-fireable("Node18SelectsANodeOfTheLeafSetOfRx1ToReplaceNode22"))))) | ((! (is-fireable("Node4ReceiveTheLeafSetOfLx1ToReplaceNode7"))) & ((is-fireable("Node13SelectsANodeOfTheLeafSetOfLx5ToReplaceNode8")) | ((is-fireable("Node6AsksItsLeafSetToLx7ToReplaceNode14")) | (is-fireable("Node26ReceiveTheLeafSetOfLx8ToReplaceNode1")))))) | ((! ((! (is-fireable("Node7AsksItsLeafSetToRx4ToReplaceNode23"))) & ((is-fireable("Node17ReceiveTheLeafSetOfRx7ToReplaceNode18")) & (is-fireable("Node23AsksItsLeafSetToRx2ToReplaceNode29"))))) | ((is-fireable("Node10AsksItsLeafSetToRx6ToReplaceNode22")) & (! ((is-fireable("Node25SelectsANodeOfTheLeafSetOfLx4ToReplaceNode7")) & (is-fireable("Node7SelectsANodeOfTheLeafSetOfRx6ToReplaceNode18")))))))))) | (((is-fireable("Node24SelectsANodeOfTheLeafSetOfLx0ToReplaceNode15")) & (((((is-fireable("Node1AsksItsLeafSetToLx0ToReplaceNode2")) | (is-fireable("Node26SelectsANodeOfTheLeafSetOfRx7ToReplaceNode16"))) | ((((is-fireable("Node15InformsHeIsTheNodeMasterToNode1")) | (is-fireable("Node1DetectsThatNode23CanReplaceNode18"))) & ((is-fireable("Node28AsksItsLeafSetToRx0ToReplaceNode19")) | (is-fireable("Node14IsNotRespondingToNode29ToReplaceNode17")))) | ((! (is-fireable("Node3GetTheRightToManageTheCrashOfNode22"))) | ((is-fireable("Node21IsNotRespondingToNode10ToReplaceNode11")) & (is-fireable("Node23DetectsThatNode21CanReplaceNode16")))))) & (is-fireable("Node2IsNotRespondingToNode32ToReplaceNode25"))) | (! ((is-fireable("Node31SelectsANodeOfTheLeafSetOfLx7ToReplaceNode1")) | ((is-fireable("Node2SelectsANodeOfTheLeafSetOfRx1ToReplaceNode19")) & ((! (is-fireable("Node23IsNotRespondingToNode24ToReplaceNode15"))) | (! (is-fireable("Node2ReceiveTheLeafSetOfLx4ToReplaceNode10"))))))))) | ((((((! (is-fireable("Node19SelectsANodeOfTheLeafSetOfRx2ToReplaceNode16"))) & (is-fireable("Node1AsksItsLeafSetToLx8ToReplaceNode3"))) | ((! (is-fireable("Node3AsksItsLeafSetToLx1ToReplaceNode15"))) & (! (is-fireable("Node2DetectsThatNode26CanReplaceNode20"))))) | (! (((is-fireable("Node5SelectsANodeOfTheLeafSetOfRx0ToReplaceNode18")) | (is-fireable("Node8DetectsThatNode9CanReplaceNode14"))) | ((is-fireable("Node4IsNotRespondingToNode2ToReplaceNode14")) | (is-fireable("Node1DetectsThatNode24CanReplaceNode16")))))) | (((is-fireable("Node22SelectsANodeOfTheLeafSetOfLx2ToReplaceNode7")) & (! ((! (is-fireable("Node19ReceiveTheLeafSetOfLx10ToReplaceNode12"))) & ((is-fireable("Node1DetectsThatNode21CanReplaceNode17")) | (is-fireable("Node9SelectsANodeOfTheLeafSetOfLx0ToReplaceNode13")))))) & (is-fireable("Node21SelectsANodeOfTheLeafSetOfRx1ToReplaceNode32")))) & (((is-fireable("Node29AsksItsLeafSetToLx4ToReplaceNode8")) & (is-fireable("Node2SelectsANodeOfTheLeafSetOfLx2ToReplaceNode9"))) & (! ((is-fireable("Node25AsksItsLeafSetToRx9ToReplaceNode26")) | (is-fireable("Lx5ReceiveARequestToSendItsLeafSetToNode12")))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-08
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("Node10ReceiveTheLeafSetOfLx0ToReplaceNode11")))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-09
   "Automatically generated by Citili v2025"
   is:
      A (G (((is-fireable("Node19SelectsANodeOfTheLeafSetOfLx3ToReplaceNode7")) | (((((is-fireable("Node28AsksItsLeafSetToLx4ToReplaceNode9")) & (is-fireable("Node11ReceiveTheLeafSetOfLx7ToReplaceNode10"))) | ((is-fireable("Node3ReceiveTheLeafSetOfRx0ToReplaceNode20")) | ((((is-fireable("Node2ReceiveTheLeafSetOfLx10ToReplaceNode0")) & (is-fireable("Node8ReceiveTheLeafSetOfLx6ToReplaceNode5"))) | ((is-fireable("Node9DetectsThatNode22CanReplaceNode19")) & (is-fireable("Node18SelectsANodeOfTheLeafSetOfLx3ToReplaceNode9")))) | (is-fireable("Node18AsksItsLeafSetToLx6ToReplaceNode9"))))) | (! (is-fireable("Node1SeeksANewMasterToReplaceNode23")))) & ((((! (((is-fireable("Node26AsksItsLeafSetToRx0ToReplaceNode28")) & (is-fireable("Node21ReceiveTheLeafSetOfLx6ToReplaceNode12"))) | (! (is-fireable("Node8AsksItsLeafSetToRx0ToReplaceNode18"))))) & ((((is-fireable("Node15SeeksANewMasterToReplaceNode9")) & (is-fireable("Lx3ReceiveARequestToSendItsLeafSetToNode9"))) | ((is-fireable("Node18AsksItsLeafSetToRx2ToReplaceNode22")) & (is-fireable("Node3DetectsThatNode27CanReplaceNode6")))) & ((! (is-fireable("Node4AsksItsLeafSetToRx6ToReplaceNode20"))) & (! (is-fireable("Node3ReceiveTheLeafSetOfRx9ToReplaceNode26")))))) | (is-fireable("Node0DetectsThatNode27CanReplaceNode21"))) & (is-fireable("Node22IsNotRespondingToNode5ToReplaceNode18"))))) | ((! (is-fireable("Node22AsksItsLeafSetToRx9ToReplaceNode30"))) & (! ((is-fireable("Node18AsksItsLeafSetToRx9ToReplaceNode25")) & ((((((is-fireable("Node28ReceiveTheLeafSetOfRx7ToReplaceNode25")) | (is-fireable("Node3AsksItsLeafSetToLx3ToReplaceNode13"))) | ((is-fireable("Node28AsksItsLeafSetToLx5ToReplaceNode11")) | (is-fireable("Node0DetectsCrashOfNode18")))) & ((is-fireable("Node10IsNotRespondingToNode2ToReplaceNode22")) & (! (is-fireable("Node8SelectsANodeOfTheLeafSetOfRx0ToReplaceNode22"))))) | (! (is-fireable("Node32AsksItsLeafSetToLx4ToReplaceNode15")))) | (is-fireable("Lx2ReceiveARequestToSendItsLeafSetToNode19"))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-10
   "Automatically generated by Citili v2025"
   is:
      E (F (is-fireable("Node23AsksItsLeafSetToRx5ToReplaceNode27")))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-2025-11
   "Automatically generated by Citili v2025"
   is:
      A (G (((! ((is-fireable("Node5SelectsANodeOfTheLeafSetOfRx7ToReplaceNode19")) | (((is-fireable("Node6SelectsANodeOfTheLeafSetOfLx8ToReplaceNode3")) & (((is-fireable("Node19ReceiveTheLeafSetOfRx7ToReplaceNode26")) | ((is-fireable("Node1SelectsANodeOfTheLeafSetOfRx10ToReplaceNode23")) & (is-fireable("Node11ReceiveTheLeafSetOfLx0ToReplaceNode3")))) | ((! (is-fireable("Node11AsksItsLeafSetToRx1ToReplaceNode25"))) & (! (is-fireable("Node32DetectsThatNode1CanReplaceNode2")))))) & ((! ((is-fireable("Node15SelectsANodeOfTheLeafSetOfLx2ToReplaceNode12")) | ((is-fireable("Node12ReceiveTheLeafSetOfRx1ToReplaceNode18")) & (is-fireable("Node11ReceiveTheLeafSetOfLx0ToReplaceNode13"))))) & (is-fireable("Node30AsksItsLeafSetToLx9ToReplaceNode5")))))) | ((((is-fireable("Node8ReceiveTheLeafSetOfRx4ToReplaceNode17")) & ((is-fireable("Node1AsksItsLeafSetToLx10ToReplaceNode10")) | ((is-fireable("Node3AsksItsLeafSetToRx6ToReplaceNode29")) | (! ((is-fireable("Node2DetectsThatNode10CanReplaceNode18")) & (is-fireable("Node30DetectsThatNode29CanReplaceNode15"))))))) & (is-fireable("Node15SelectsANodeOfTheLeafSetOfLx7ToReplaceNode1"))) | (((is-fireable("Node15ReceiveTheLeafSetOfLx3ToReplaceNode13")) | (is-fireable("Node25AsksItsLeafSetToLx3ToReplaceNode0"))) & ((((! ((is-fireable("Node6ReceiveTheLeafSetOfLx8ToReplaceNode0")) | (is-fireable("Node7IsNotRespondingToNode1ToReplaceNode17")))) | ((! (is-fireable("Node20ReceiveTheLeafSetOfLx2ToReplaceNode11"))) & (is-fireable("Node11ReceiveTheLeafSetOfLx6ToReplaceNode14")))) & (! (((is-fireable("Node4DetectsThatNode14CanReplaceNode16")) | (is-fireable("Node28AsksItsLeafSetToLx5ToReplaceNode1"))) | (is-fireable("Node21ReceiveTheLeafSetOfLx7ToReplaceNode2"))))) | (is-fireable("Node9AsksItsLeafSetToLx6ToReplaceNode1")))))) & ((is-fireable("Node16SeeksANewMasterToReplaceNode28")) | (! (is-fireable("Node25ReceiveTheLeafSetOfRx0ToReplaceNode32"))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-12
   "Automatically generated by Citili v2023"
   is:
      E (F (is-fireable("Node16SeeksANewMasterToReplaceNode13")))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-13
   "Automatically generated by Citili v2024"
   is:
      A (G (! ((! ((is-fireable("Node1AsksItsLeafSetToLx1ToReplaceNode4")) | ((is-fireable("Node2DetectsThatNode5CanReplaceNode20")) | (((is-fireable("Rx4SendsItsLeafSetToNode5")) | ((! (is-fireable("Node30ReceiveTheLeafSetOfRx1ToReplaceNode31"))) | ((is-fireable("Node21AsksItsLeafSetToRx4ToReplaceNode32")) | (is-fireable("Node31SelectsANodeOfTheLeafSetOfRx5ToReplaceNode19"))))) | (is-fireable("Node18AsksItsLeafSetToRx9ToReplaceNode25")))))) & (! ((((((is-fireable("Node22AsksItsLeafSetToLx5ToReplaceNode12")) | ((is-fireable("Node5ReceiveTheLeafSetOfLx6ToReplaceNode0")) & (is-fireable("Node28DetectsCrashOfNode30")))) & (! ((is-fireable("Node29AsksItsLeafSetToRx2ToReplaceNode27")) | (is-fireable("Node19AsksItsLeafSetToLx2ToReplaceNode3"))))) & (((is-fireable("Node5SelectsANodeOfTheLeafSetOfLx9ToReplaceNode6")) & ((is-fireable("Node3ReceiveTheLeafSetOfLx10ToReplaceNode15")) | (is-fireable("Node9AsksItsLeafSetToLx10ToReplaceNode0")))) & (((is-fireable("Node3AsksItsLeafSetToRx3ToReplaceNode20")) & (is-fireable("Node27DetectsCrashOfNode4"))) & (is-fireable("Node27SelectsANodeOfTheLeafSetOfLx2ToReplaceNode6"))))) | (! ((is-fireable("Node13AsksItsLeafSetToRx4ToReplaceNode28")) | (is-fireable("Node26AsksItsLeafSetToLx7ToReplaceNode14"))))) | (is-fireable("Node26DetectsThatNode24CanReplaceNode15")))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-14
   "Automatically generated by Citili v2024"
   is:
      E (F (! ((! (is-fireable("Node10InformsHeIsTheNodeMasterToNode0"))) | (! ((! (((! (is-fireable("Node16SelectsANodeOfTheLeafSetOfRx9ToReplaceNode27"))) | (! (is-fireable("Node29SelectsANodeOfTheLeafSetOfLx10ToReplaceNode10")))) & (is-fireable("Node24DetectsCrashOfNode18")))) | (! ((((is-fireable("Node17ReceiveTheLeafSetOfRx8ToReplaceNode32")) & (is-fireable("Node18ReceiveTheLeafSetOfLx6ToReplaceNode11"))) & ((is-fireable("Node6SelectsANodeOfTheLeafSetOfLx0ToReplaceNode9")) & (is-fireable("Node26ReceiveTheLeafSetOfLx10ToReplaceNode15")))) | (! ((is-fireable("Node10ReceiveTheLeafSetOfRx1ToReplaceNode20")) | (is-fireable("Node30ReceiveTheLeafSetOfRx9ToReplaceNode28")))))))))))
   end.
Property MultiCrashLeafsetExtension-PT-S32C11-ReachabilityFireability-15
   "Automatically generated by Citili v2023"
   is:
      E (F (! ((is-fireable("Node8IsNotRespondingToNode3ToReplaceNode13")) | (((! ((! ((is-fireable("Node30SelectsANodeOfTheLeafSetOfLx9ToReplaceNode13")) | (is-fireable("Node26AsksItsLeafSetToRx3ToReplaceNode27")))) | (is-fireable("Node22ReceiveTheLeafSetOfRx0ToReplaceNode16")))) & ((((is-fireable("Node20AsksItsLeafSetToLx5ToReplaceNode13")) | ((is-fireable("Node10SelectsANodeOfTheLeafSetOfRx7ToReplaceNode24")) & (is-fireable("Node3ReceiveTheLeafSetOfLx9ToReplaceNode9")))) & (is-fireable("Node6SelectsANodeOfTheLeafSetOfLx8ToReplaceNode5"))) | (((is-fireable("Node20SelectsANodeOfTheLeafSetOfLx9ToReplaceNode11")) | (! (is-fireable("Node28AsksItsLeafSetToLx1ToReplaceNode1")))) | (((is-fireable("Node28IsNotRespondingToNode3ToReplaceNode14")) | (is-fireable("Node25InformsHeIsTheNodeMasterToNode13"))) & ((is-fireable("Node9ReceiveTheLeafSetOfRx3ToReplaceNode23")) | (is-fireable("Node3AsksItsLeafSetToRx7ToReplaceNode23"))))))) | ((! (((is-fireable("Node26AsksItsLeafSetToLx8ToReplaceNode11")) | ((is-fireable("Node6IsNotRespondingToNode2ToReplaceNode16")) & (is-fireable("Node16AsksItsLeafSetToRx2ToReplaceNode25")))) | (! ((is-fireable("Node24SelectsANodeOfTheLeafSetOfRx5ToReplaceNode20")) & (is-fireable("Node8AsksItsLeafSetToRx2ToReplaceNode21")))))) | (((((is-fireable("Node8ReceiveTheLeafSetOfRx0ToReplaceNode30")) | (is-fireable("Node26AsksItsLeafSetToRx5ToReplaceNode22"))) & (is-fireable("Node17SelectsANodeOfTheLeafSetOfLx10ToReplaceNode14"))) & (is-fireable("Rx7SendsItsLeafSetToNode2"))) | (! (((is-fireable("Node5IsNotRespondingToNode0ToReplaceNode24")) & (is-fireable("Node21IsNotRespondingToNode30ToReplaceNode15"))) | ((is-fireable("Node16SelectsANodeOfTheLeafSetOfRx10ToReplaceNode23")) & (is-fireable("Node20AsksItsLeafSetToLx6ToReplaceNode3")))))))))))
   end.
