Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-00
  "Automatically generated"
  is:
    A !F G F G (G "Node22ReceiveTheLeafSetOfLx0ToReplaceNode0"? U ("Node24DetectsThatNode11CanReplaceNode16"? | F G F "Node22ReceiveTheLeafSetOfLx0ToReplaceNode0"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-01
  "Automatically generated"
  is:
    A X (X !(G "Node18InformsHeIsTheNodeMasterToNode31"? | X X X "Node1SelectsANodeOfTheLeafSetOfLx0ToReplaceNode7"?) U ("Node1SelectsANodeOfTheLeafSetOfLx0ToReplaceNode7"? & F "Node18InformsHeIsTheNodeMasterToNode31"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-02
  "Automatically generated"
  is:
    A G (X X X (("Node11GetTheRightToManageTheCrashOfNode32"? & "Node6ReceiveTheLeafSetOfRx5ToReplaceNode20"?) U (!"Node11GetTheRightToManageTheCrashOfNode32"? & !"Node6ReceiveTheLeafSetOfRx5ToReplaceNode20"?)) U "Node29ReceiveTheLeafSetOfLx1ToReplaceNode4"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-03
  "Automatically generated"
  is:
    A F G F (!"Node24SeeksANewMasterToReplaceNode29"? U G "Node24SeeksANewMasterToReplaceNode29"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-04
  "Automatically generated"
  is:
    A ((F !G (!"Node28DetectsThatNode7CanReplaceNode23"? & F "Node21IsNotRespondingToNode25ToReplaceNode20"?) | F !F "Node0SelectsANodeOfTheLeafSetOfRx3ToReplaceNode32"?) U "Node7AsksItsLeafSetToLx5ToReplaceNode3"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-05
  "Automatically generated"
  is:
    A ("Node30SelectsANodeOfTheLeafSetOfLx1ToReplaceNode14"? & F "Node30SelectsANodeOfTheLeafSetOfLx1ToReplaceNode14"? & F "Node19AsksItsLeafSetToLx2ToReplaceNode3"? & !("Node20IsNotRespondingToNode4ToReplaceNode17"? & F "Node16ReceiveTheLeafSetOfLx5ToReplaceNode13"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-06
  "Automatically generated"
  is:
    A X ((F "Node3ReceiveTheLeafSetOfLx5ToReplaceNode2"? & (F G "Node11DetectsThatNode17CanReplaceNode15"? U "Node11DetectsThatNode17CanReplaceNode15"?)) U X ("Node11DetectsThatNode17CanReplaceNode15"? | !"Node0SelectsANodeOfTheLeafSetOfRx2ToReplaceNode25"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-07
  "Automatically generated"
  is:
    A X !((F "Node16SelectsANodeOfTheLeafSetOfRx4ToReplaceNode21"? & X X X ("Node29ReceiveTheLeafSetOfLx3ToReplaceNode11"? U "Node9SelectsANodeOfTheLeafSetOfLx3ToReplaceNode15"?)) U ("Node9SelectsANodeOfTheLeafSetOfLx3ToReplaceNode15"? U "Node29ReceiveTheLeafSetOfLx3ToReplaceNode11"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-08
  "Automatically generated"
  is:
    A G ("Node9IsNotRespondingToNode31ToReplaceNode19"? U (F G ("Node9SelectsANodeOfTheLeafSetOfRx4ToReplaceNode28"? & "Node7ReceiveTheLeafSetOfRx4ToReplaceNode26"?) U X X X "Node9IsNotRespondingToNode31ToReplaceNode19"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-09
  "Automatically generated"
  is:
    A (G ("Node24DetectsThatNode21CanReplaceNode16"? | "Node2InformsHeIsTheNodeMasterToNode1"?) | (G "Node24DetectsThatNode21CanReplaceNode16"? & F !"Node21SelectsANodeOfTheLeafSetOfLx5ToReplaceNode12"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-10
  "Automatically generated"
  is:
    A F ("Node2AsksItsLeafSetToRx4ToReplaceNode28"? & G F "Node2AsksItsLeafSetToRx4ToReplaceNode28"? & ("Node9GetTheRightToManageTheCrashOfNode31"? U F "Node2AsksItsLeafSetToRx4ToReplaceNode28"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-11
  "Automatically generated"
  is:
    A ("Node17SelectsANodeOfTheLeafSetOfRx2ToReplaceNode20"? & ("Node2AsksItsLeafSetToRx2ToReplaceNode26"? | "Node17SelectsANodeOfTheLeafSetOfRx2ToReplaceNode20"?) & X "Node31DetectsThatNode2CanReplaceNode7"? & !("Node17SelectsANodeOfTheLeafSetOfRx2ToReplaceNode20"? U "Node2AsksItsLeafSetToRx2ToReplaceNode26"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-12
"Automatically generated"
is:
A ("Node1DetectsThatNode21CanReplaceNode16"? & (F "Node4AsksItsLeafSetToLx5ToReplaceNode3"? | F ("Node4AsksItsLeafSetToLx5ToReplaceNode3"? | X "Node5IsNotRespondingToNode1ToReplaceNode9"?) | ("Node28DetectsThatNode23CanReplaceNode20"? & F "Node4AsksItsLeafSetToLx5ToReplaceNode3"?)))
end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-13
"Automatically generated"
is:
A F "Node13ReceiveTheLeafSetOfLx5ToReplaceNode3"?
end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-14
"Automatically generated"
is:
A F (!"Node0ReceiveTheLeafSetOfRx3ToReplaceNode23"? & F X "Node24GetTheRightToManageTheCrashOfNode5"?)
end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLFireability-15
"Automatically generated"
is:
A ((G !"Node23SelectsANodeOfTheLeafSetOfLx0ToReplaceNode12"? U "Node5IsNotRespondingToNode29ToReplaceNode9"?) & !F X F X ("Node5IsNotRespondingToNode29ToReplaceNode9"? & X "Node5IsNotRespondingToNode29ToReplaceNode9"?))
end.
