Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-00
  "Automatically generated"
  is:
    A (G ("Node8GetTheRightToManageTheCrashOfNode28"? & "Node8SelectsANodeOfTheLeafSetOfRx2ToReplaceNode20"?) | !F !G ("Node8GetTheRightToManageTheCrashOfNode28"? | "Node8SelectsANodeOfTheLeafSetOfRx2ToReplaceNode20"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-01
  "Automatically generated"
  is:
    A !X ("Node13SeeksANewMasterToReplaceNode8"? | G "Node13SeeksANewMasterToReplaceNode8"? | X X (!"Node13SeeksANewMasterToReplaceNode8"? & !G "Node1AsksItsLeafSetToLx1ToReplaceNode11"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-02
  "Automatically generated"
  is:
    A (F "Node16ReceiveTheLeafSetOfLx1ToReplaceNode9"? | X G "Node1DetectsThatNode3CanReplaceNode25"? | F X X "Node20ReceiveTheLeafSetOfRx4ToReplaceNode22"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-03
  "Automatically generated"
  is:
    A !G (G (!"Node10SelectsANodeOfTheLeafSetOfLx3ToReplaceNode2"? & "Node8SeeksANewMasterToReplaceNode21"?) U F "Node29IsNotRespondingToNode32ToReplaceNode19"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-04
  "Automatically generated"
  is:
    A X (F (X "Node8IsNotRespondingToNode25ToReplaceNode14"? | F X "Node26AsksItsLeafSetToRx0ToReplaceNode32"?) & X X X !X "Node26AsksItsLeafSetToRx0ToReplaceNode32"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-05
  "Automatically generated"
  is:
    A F !G X (F "Node16AsksItsLeafSetToRx0ToReplaceNode19"? & !(G "Node30IsNotRespondingToNode0ToReplaceNode25"? U F "Node31SelectsANodeOfTheLeafSetOfRx1ToReplaceNode32"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-06
  "Automatically generated"
  is:
    A F G F !F (F "Node16AsksItsLeafSetToLx4ToReplaceNode9"? | X (G "Node18SelectsANodeOfTheLeafSetOfRx0ToReplaceNode24"? | G "Node27IsNotRespondingToNode1ToReplaceNode18"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-07
  "Automatically generated"
  is:
    A (G ("Node18ReceiveTheLeafSetOfRx3ToReplaceNode29"? & F ("Node18ReceiveTheLeafSetOfRx3ToReplaceNode29"? | G "Node30AsksItsLeafSetToRx4ToReplaceNode24"?)) & F X F "Node22IsNotRespondingToNode5ToReplaceNode13"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-08
  "Automatically generated"
  is:
    A (X X (G X G "Node24IsNotRespondingToNode0ToReplaceNode19"? & (!F "Node0DetectsThatNode26CanReplaceNode16"? U !"Node4DetectsThatNode26CanReplaceNode11"?)) U "Node2DetectsThatNode14CanReplaceNode16"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-09
  "Automatically generated"
  is:
    A ("Node10DetectsThatNode11CanReplaceNode19"? | G X "Node7SelectsANodeOfTheLeafSetOfRx2ToReplaceNode28"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-10
  "Automatically generated"
  is:
    A F !G "Node6IsNotRespondingToNode31ToReplaceNode22"?
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-11
  "Automatically generated"
  is:
    A X X !("Node8IsNotRespondingToNode25ToReplaceNode21"? & !X X (F "Node21SelectsANodeOfTheLeafSetOfRx2ToReplaceNode29"? U "Node21SelectsANodeOfTheLeafSetOfRx2ToReplaceNode29"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-12
"Automatically generated"
is:
A !(X "Node18ReceiveTheLeafSetOfLx0ToReplaceNode7"? & !(G "Node29IsNotRespondingToNode1ToReplaceNode7"? U ("Node0GetTheRightToManageTheCrashOfNode32"? & "Node29IsNotRespondingToNode2ToReplaceNode17"?)))
end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-13
"Automatically generated"
is:
A G F G (G "Node3AsksItsLeafSetToRx4ToReplaceNode19"? U ("Node30DetectsCrashOfNode0"? | F "Node6SelectsANodeOfTheLeafSetOfRx3ToReplaceNode19"?))
end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-14
"Automatically generated"
is:
A (!F !"Node18AsksItsLeafSetToLx1ToReplaceNode14"? U !X (G F G "Node3SeeksANewMasterToReplaceNode17"? U !"Node18AsksItsLeafSetToLx1ToReplaceNode14"?))
end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLFireability-15
"Automatically generated 2023"
is:
A !F "Lx4ReceiveARequestToSendItsLeafSetToNode31"?
end.
