Property MultiCrashLeafsetExtension-PT-S24C11-00
  "Automatically generated"
  is:
    A (G ((0) <= (#tokens("Node22HasTheLeafSetOfLx8ToReplaceNode5"))) U ((#tokens("Node1HasAskedItsLeafSetToLx5ToReplaceNode0")) <= (#tokens("Node3ThinksNode7ShouldBeNodeMasterToReplaceNode9"))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-01
  "Automatically generated"
  is:
    A G X F ((((2) <= (#tokens("Node23HasAskedItsLeafSetToLx0ToReplaceNode6"))) U ((2) <= (#tokens("Node18ThinksNode10ShouldBeNodeMasterToReplaceNode13")))) & G (((1) <= (#tokens("Node21HasAskedItsLeafSetToLx4ToReplaceNode8"))) | X !G ((1) <= (#tokens("Node21HasTheLeafSetOfLx10ToReplaceNode2")))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-02
  "Automatically generated"
  is:
    A (!(((3) <= (#tokens("Node8ManageTheCrashOfNode19"))) | ((3) <= (#tokens("Node0HasTheLeafSetOfRx10ToReplaceNode21"))) | F ((3) <= (#tokens("Node8ManageTheCrashOfNode19")))) U X (((#tokens("Rx4HasReceivedTheRequestOfNode3")) <= (#tokens("Node24HasTheLeafSetOfLx5ToReplaceNode7"))) | ((3) <= (#tokens("Node0HasTheLeafSetOfRx10ToReplaceNode21")))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-03
  "Automatically generated"
  is:
    A (G ((((#tokens("Node24ThinksNode8ShouldBeNodeMasterToReplaceNode16")) <= (#tokens("Node9HasTheLeafSetOfRx9ToReplaceNode14"))) | G ((#tokens("Node4ThinksNode5ShouldBeNodeMasterToReplaceNode8")) <= (#tokens("RequestOfNode9IsSentToLx8")))) U (((#tokens("Node6HasAskedItsLeafSetToRx5ToReplaceNode17")) <= (#tokens("Node18HasTheLeafSetOfLx1ToReplaceNode6"))) & ((#tokens("Node4ThinksNode5ShouldBeNodeMasterToReplaceNode8")) <= (#tokens("RequestOfNode9IsSentToLx8"))))) & F ((0) <= (#tokens("Node20HasAskedItsLeafSetToLx9ToReplaceNode5"))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-04
  "Automatically generated"
  is:
    A (F ((G ((1) <= (#tokens("Node6HasTheLeafSetOfLx10ToReplaceNode2"))) & (((1) <= (#tokens("Node6HasTheLeafSetOfLx10ToReplaceNode2"))) U ((#tokens("Node0HasAskedItsLeafSetToRx3ToReplaceNode18")) <= (#tokens("Node20HasAskedItsLeafSetToRx4ToReplaceNode12"))))) U X ((#tokens("Node12ManageTheCrashOfNode2")) <= (#tokens("Node19HasAskedItsLeafSetToRx8ToReplaceNode22")))) | X !F ((#tokens("Node0HasAskedItsLeafSetToRx3ToReplaceNode18")) <= (#tokens("Node20HasAskedItsLeafSetToRx4ToReplaceNode12"))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-05
  "Automatically generated"
  is:
    A (G F ((2) <= (#tokens("Rx5HasReceivedTheRequestOfNode3"))) U (((#tokens("Node23HasTheLeafSetOfLx9ToReplaceNode5")) <= (#tokens("Node12HasAskedItsLeafSetToRx10ToReplaceNode14"))) & G F G ((3) <= (#tokens("Lx9HasReceivedTheRequestOfNode2")))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-06
  "Automatically generated"
  is:
    A (X (!((#tokens("LeafSetOfRx0IsSentToNode5")) <= (#tokens("Node19ThinksNode16ShouldBeNodeMasterToReplaceNode15"))) & G ((#tokens("Node2HasTheLeafSetOfRx6ToReplaceNode22")) <= (#tokens("Node2HasTheLeafSetOfRx9ToReplaceNode22")))) & (((#tokens("Node2ThinksNode17ShouldBeNodeMasterToReplaceNode13")) <= (#tokens("Node8HasAskedItsLeafSetToLx8ToReplaceNode0"))) | G !((#tokens("Node2ThinksNode17ShouldBeNodeMasterToReplaceNode13")) <= (#tokens("Node8HasAskedItsLeafSetToLx8ToReplaceNode0")))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-07
  "Automatically generated"
  is:
    A (!((2) <= (#tokens("Node14HasTheLeafSetOfLx2ToReplaceNode6"))) U X !G (X ((#tokens("Node21ThinksNode19ShouldBeNodeMasterToReplaceNode12")) <= (#tokens("Node16HasAskedItsLeafSetToRx3ToReplaceNode18"))) & F ((#tokens("RequestOfNode13IsSentToLx0")) <= (#tokens("Node19ManageTheCrashOfNode7")))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-08
  "Automatically generated"
  is:
    A G (((3) <= (#tokens("Node16HasTheLeafSetOfLx1ToReplaceNode10"))) & ((#tokens("Node24HasAskedItsLeafSetToRx0ToReplaceNode13")) <= (#tokens("Node13HasTheLeafSetOfLx0ToReplaceNode8"))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-09
  "Automatically generated"
  is:
    A F (!G ((#tokens("Node12HasAskedItsLeafSetToRx2ToReplaceNode19")) <= (#tokens("Node20HasAskedItsLeafSetToRx1ToReplaceNode14"))) U !(((#tokens("LeafSetOfLx1IsSentToNode17")) <= (#tokens("Node13HasTheLeafSetOfLx5ToReplaceNode1"))) | X ((0) <= (#tokens("Node13HasTheLeafSetOfRx3ToReplaceNode22")))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-10
  "Automatically generated"
  is:
    A F X F X (F !(((0) <= (#tokens("Node3HasTheLeafSetOfLx5ToReplaceNode4"))) | G ((#tokens("Lx3HasReceivedTheRequestOfNode1")) <= (#tokens("Node0HasAskedItsLeafSetToRx1ToReplaceNode18")))) U F G !((#tokens("Node24HasTheLeafSetOfRx2ToReplaceNode22")) <= (#tokens("RequestOfNode15IsSentToRx10"))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-11
  "Automatically generated"
  is:
    A (((F !((#tokens("Node5ThinksNode7ShouldBeNodeMasterToReplaceNode12")) <= (#tokens("Node22HasTheLeafSetOfRx3ToReplaceNode19"))) U F ((3) <= (#tokens("Node19ThinksNode7ShouldBeNodeMasterToReplaceNode9")))) & (X !((#tokens("Node5ThinksNode7ShouldBeNodeMasterToReplaceNode12")) <= (#tokens("Node22HasTheLeafSetOfRx3ToReplaceNode19"))) U X ((1) <= (#tokens("Node10HasAskedItsLeafSetToLx3ToReplaceNode1"))))) U ((3) <= (#tokens("Node19ThinksNode7ShouldBeNodeMasterToReplaceNode9"))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-12
  "Automatically generated"
  is:
    A (((1) <= (#tokens("RequestOfNode12IsSentToRx3"))) | X F X ((#tokens("Node8HasTheLeafSetOfLx4ToReplaceNode7")) <= (#tokens("Node5HasAskedItsLeafSetToLx6ToReplaceNode11"))) | F ((#tokens("Node8HasTheLeafSetOfLx4ToReplaceNode7")) <= (#tokens("Node5HasAskedItsLeafSetToLx6ToReplaceNode11"))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-13
  "Automatically generated"
  is:
    A (G ((1) <= (#tokens("Node23ThinksNode2ShouldBeNodeMasterToReplaceNode18"))) & X G X G F (((#tokens("Node24ThinksNode6ShouldBeNodeMasterToReplaceNode7")) <= (#tokens("Node16HasDetectedCrashOfNode17"))) | F ((1) <= (#tokens("Node23ThinksNode2ShouldBeNodeMasterToReplaceNode18")))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-14
  "Automatically generated"
  is:
    A F G (X ((#tokens("Node11HasTheLeafSetOfRx9ToReplaceNode17")) <= (#tokens("Lx10IsActiveAndNotInTheLeafSet"))) | (X ((1) <= (#tokens("Node19HasAskedItsLeafSetToLx7ToReplaceNode1"))) & X G ((1) <= (#tokens("Node19HasAskedItsLeafSetToLx7ToReplaceNode1")))))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-15
  "Automatically generated"
  is:
    A (((2) <= (#tokens("Node23ThinksNode18ShouldBeNodeMasterToReplaceNode7"))) U (X G F X ((#tokens("Node15HasAskedItsLeafSetToLx5ToReplaceNode6")) <= (#tokens("Node2HasAskedItsLeafSetToRx7ToReplaceNode13"))) | F (((3) <= (#tokens("Node18HasTheLeafSetOfLx4ToReplaceNode10"))) & ((#tokens("Node15HasAskedItsLeafSetToLx5ToReplaceNode6")) <= (#tokens("Node2HasAskedItsLeafSetToRx7ToReplaceNode13"))))))
  end.
