Property MultiCrashLeafsetExtension-PT-S32C04-00
  "Automatically generated"
  is:
    A ((!"Node14AsksItsLeafSetToLx3ToReplaceNode4"? | G (("Node4IsNotRespondingToNode3ToReplaceNode18"? & "Node23IsNotRespondingToNode3ToReplaceNode13"?) | X X "Node19DetectsCrashOfNode17"?)) U "Node7AsksItsLeafSetToLx0ToReplaceNode11"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-01
  "Automatically generated"
  is:
    A !X G X F X !(F "Node24SelectsANodeOfTheLeafSetOfRx1ToReplaceNode21"? | ("Node29AsksItsLeafSetToRx2ToReplaceNode31"? U G "Node30DetectsThatNode27CanReplaceNode21"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-02
  "Automatically generated"
  is:
    A (G "Node11IsNotRespondingToNode6ToReplaceNode15"? & F "Node19IsNotRespondingToNode27ToReplaceNode14"? & F (("Node27IsNotRespondingToNode28ToReplaceNode17"? | G "Node27IsNotRespondingToNode28ToReplaceNode17"?) U "Node19IsNotRespondingToNode27ToReplaceNode14"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-03
  "Automatically generated"
  is:
    A F !X ("Node23DetectsThatNode12CanReplaceNode13"? | "Node32AsksItsLeafSetToRx1ToReplaceNode17"? | F G F G !"Node23DetectsThatNode12CanReplaceNode13"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-04
  "Automatically generated"
  is:
    A ((!"Node2DetectsThatNode3CanReplaceNode22"? | !F "Node0InformsHeIsTheNodeMasterToNode3"?) U ("Node31SeeksANewMasterToReplaceNode29"? & F "Node31SeeksANewMasterToReplaceNode29"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-05
  "Automatically generated"
  is:
    A F G X G !(X "Node31DetectsThatNode2CanReplaceNode30"? & G "Node27SelectsANodeOfTheLeafSetOfLx1ToReplaceNode0"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-06
  "Automatically generated"
  is:
    A (G "Node29GetTheRightToManageTheCrashOfNode11"? & ("Node30IsNotRespondingToNode31ToReplaceNode13"? | G !G X "Node29GetTheRightToManageTheCrashOfNode11"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-07
  "Automatically generated"
  is:
    A (F ("Node14IsNotRespondingToNode25ToReplaceNode15"? & X X X G !"Node9IsNotRespondingToNode1ToReplaceNode10"?) U "Node28DetectsThatNode8CanReplaceNode14"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-08
  "Automatically generated"
  is:
    A ("Node15ReceiveTheLeafSetOfLx1ToReplaceNode5"? & G X ("Node31DetectsThatNode23CanReplaceNode20"? & ("Node15ReceiveTheLeafSetOfLx1ToReplaceNode5"? | "Node0DetectsThatNode28CanReplaceNode18"?)))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-09
  "Automatically generated"
  is:
    A F !"Node25SeeksANewMasterToReplaceNode18"?
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-10
  "Automatically generated"
  is:
    A !(F "Node5SelectsANodeOfTheLeafSetOfRx2ToReplaceNode30"? U G F ("Node11ReceiveTheLeafSetOfLx1ToReplaceNode3"? & F !"Node19AsksItsLeafSetToLx2ToReplaceNode11"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-11
  "Automatically generated"
  is:
    A F (G ("Node11SelectsANodeOfTheLeafSetOfLx2ToReplaceNode14"? & "Node4SelectsANodeOfTheLeafSetOfRx3ToReplaceNode19"?) U ("Node4SelectsANodeOfTheLeafSetOfRx3ToReplaceNode19"? U F "Node4SelectsANodeOfTheLeafSetOfRx3ToReplaceNode19"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-12
  "Automatically generated"
  is:
    A F (("Node23SelectsANodeOfTheLeafSetOfRx2ToReplaceNode29"? | F "Node9InformsHeIsTheNodeMasterToNode22"?) U ("Node4AsksItsLeafSetToLx1ToReplaceNode3"? | X X F (!"Node9InformsHeIsTheNodeMasterToNode22"? & "Node8SelectsANodeOfTheLeafSetOfRx2ToReplaceNode20"?)))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-13
  "Automatically generated"
  is:
    A !X X F (X ("Node15SelectsANodeOfTheLeafSetOfLx1ToReplaceNode11"? U !G "Node17GetTheRightToManageTheCrashOfNode28"?) & X "Node15SelectsANodeOfTheLeafSetOfLx1ToReplaceNode11"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-14
  "Automatically generated"
  is:
    A (X F ("Node18SelectsANodeOfTheLeafSetOfLx0ToReplaceNode7"? & F !F ("Node19SelectsANodeOfTheLeafSetOfRx0ToReplaceNode21"? & "Node4SeeksANewMasterToReplaceNode11"?)) | X X "Node18SelectsANodeOfTheLeafSetOfLx0ToReplaceNode7"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-15
  "Automatically generated"
  is:
    A X G (G F "Node5ReceiveTheLeafSetOfRx0ToReplaceNode19"? & ((("Node30ReceiveTheLeafSetOfLx2ToReplaceNode6"? | !"Node30ReceiveTheLeafSetOfLx2ToReplaceNode6"?) U "Node3IsNotRespondingToNode32ToReplaceNode20"?) U "Node5ReceiveTheLeafSetOfRx0ToReplaceNode19"?))
  end.
