Property MultiCrashLeafsetExtension-PT-S24C11-00
  "Automatically generated"
  is:
    A (G "Node21AsksItsLeafSetToRx7ToReplaceNode12"? U (!"Node5IsNotRespondingToNode2ToReplaceNode15"? U X ("Node12ReceiveTheLeafSetOfLx4ToReplaceNode3"? | X X !"Node22ReceiveTheLeafSetOfRx3ToReplaceNode21"?)))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-01
  "Automatically generated"
  is:
    A G F !(X "Node8SeeksANewMasterToReplaceNode9"? U !(X "Node2DetectsThatNode10CanReplaceNode14"? & F !X F "Node15DetectsCrashOfNode17"?))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-02
  "Automatically generated"
  is:
    A ((("Node11SelectsANodeOfTheLeafSetOfLx10ToReplaceNode2"? U !"Node24SelectsANodeOfTheLeafSetOfLx10ToReplaceNode0"?) | !F ("Node24SelectsANodeOfTheLeafSetOfLx10ToReplaceNode0"? U "Node6AsksItsLeafSetToRx3ToReplaceNode19"?)) U ("Node7GetTheRightToManageTheCrashOfNode4"? & !"Node4DetectsThatNode5CanReplaceNode15"?))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-03
  "Automatically generated"
  is:
    A (G ("Node4AsksItsLeafSetToRx4ToReplaceNode22"? | !F "Node5SelectsANodeOfTheLeafSetOfRx0ToReplaceNode18"? | F "Node10SelectsANodeOfTheLeafSetOfRx2ToReplaceNode22"?) & X "Node9ReceiveTheLeafSetOfRx8ToReplaceNode21"?)
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-04
  "Automatically generated"
  is:
    A (F "Node19ReceiveTheLeafSetOfLx2ToReplaceNode4"? | X ("Node24SelectsANodeOfTheLeafSetOfRx10ToReplaceNode14"? | G "Node12ReceiveTheLeafSetOfLx4ToReplaceNode5"?))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-05
  "Automatically generated"
  is:
    A X G F G ("Node2ReceiveTheLeafSetOfLx2ToReplaceNode4"? | !("Node1SelectsANodeOfTheLeafSetOfLx8ToReplaceNode0"? U G ("Node2ReceiveTheLeafSetOfLx2ToReplaceNode4"? U "Node16AsksItsLeafSetToLx7ToReplaceNode5"?)))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-06
  "Automatically generated"
  is:
    A !F !"Node3DetectsThatNode8CanReplaceNode9"?
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-07
  "Automatically generated"
  is:
    A (X ("Node8AsksItsLeafSetToRx6ToReplaceNode18"? & "Node11SelectsANodeOfTheLeafSetOfLx9ToReplaceNode4"? & F "Node8AsksItsLeafSetToRx6ToReplaceNode18"?) & (X "Node3ReceiveTheLeafSetOfRx1ToReplaceNode22"? U G !"Node11SelectsANodeOfTheLeafSetOfLx9ToReplaceNode4"?))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-08
  "Automatically generated"
  is:
    A G (!"Node18IsNotRespondingToNode24ToReplaceNode12"? & G X X ("Node0SelectsANodeOfTheLeafSetOfRx1ToReplaceNode17"? & !X !G X "Node12AsksItsLeafSetToLx0ToReplaceNode4"?))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-09
  "Automatically generated"
  is:
    A X ((G "Node9AsksItsLeafSetToLx9ToReplaceNode0"? & F G "Node3DetectsThatNode20CanReplaceNode14"?) U F ((!"Node5AsksItsLeafSetToRx5ToReplaceNode17"? & "Node9AsksItsLeafSetToLx9ToReplaceNode0"?) U "Node9AsksItsLeafSetToLx9ToReplaceNode0"?))
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-10
  "Automatically generated"
  is:
    A (!"Node8AsksItsLeafSetToRx8ToReplaceNode17"? U !G F G X F "Node21SelectsANodeOfTheLeafSetOfLx4ToReplaceNode6"?)
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-11
  "Automatically generated"
  is:
    A F ("Node1DetectsThatNode16CanReplaceNode14"? U "Lx10ReceiveARequestToSendItsLeafSetToNode13"?)
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-12
  "Automatically generated"
  is:
    A ((G "Node11SelectsANodeOfTheLeafSetOfLx2ToReplaceNode6"? U F "Node7AsksItsLeafSetToLx10ToReplaceNode12"?) U F "Node11SelectsANodeOfTheLeafSetOfLx2ToReplaceNode6"?)
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-13
  "Automatically generated"
  is:
    A G X !(!"Node20SelectsANodeOfTheLeafSetOfLx10ToReplaceNode11"? | "Node24DetectsThatNode4CanReplaceNode17"?)
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-14
  "Automatically generated"
  is:
    A (F G (!"Node19SelectsANodeOfTheLeafSetOfLx9ToReplaceNode9"? | "Node4ReceiveTheLeafSetOfLx10ToReplaceNode8"?) & G X !"Node16SelectsANodeOfTheLeafSetOfLx9ToReplaceNode11"?)
  end.
Property MultiCrashLeafsetExtension-PT-S24C11-15
  "Automatically generated"
  is:
    A F !F G !("Node17SelectsANodeOfTheLeafSetOfRx0ToReplaceNode13"? U "Node7IsNotRespondingToNode20ToReplaceNode13"?)
  end.
