Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-00
  "Automatically generated"
  is:
    A G !(F G (("Node12IsNotRespondingToNode6ToReplaceNode18"? U G "Node26AsksItsLeafSetToLx1ToReplaceNode0"?) U X "Node21AsksItsLeafSetToRx3ToReplaceNode27"?) U "Node12IsNotRespondingToNode6ToReplaceNode18"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-01
  "Automatically generated"
  is:
    A X (!X X ("Lx1SendsItsLeafSetToNode15"? | "Node18SelectsANodeOfTheLeafSetOfLx7ToReplaceNode12"?) U "Node11IsNotRespondingToNode26ToReplaceNode14"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-02
  "Automatically generated"
  is:
    A (G "Node13IsNotRespondingToNode22ToReplaceNode19"? & X ("Node13IsNotRespondingToNode22ToReplaceNode19"? U "Node32InformsHeIsTheNodeMasterToNode22"?) & F X !G "Node30AsksItsLeafSetToLx6ToReplaceNode2"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-03
  "Automatically generated"
  is:
    A F (F "Node23SelectsANodeOfTheLeafSetOfLx2ToReplaceNode13"? & X "Node30AsksItsLeafSetToLx4ToReplaceNode2"? & (G "Node5DetectsCrashOfNode13"? U X X "Node10DetectsCrashOfNode18"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-04
  "Automatically generated"
  is:
    A ("Node8DetectsThatNode22CanReplaceNode13"? | !X X "Node8DetectsThatNode22CanReplaceNode13"? | F G X "Node3SelectsANodeOfTheLeafSetOfRx6ToReplaceNode32"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-05
  "Automatically generated"
  is:
    A ("Node3AsksItsLeafSetToLx2ToReplaceNode5"? & X X ((F "Node11IsNotRespondingToNode1ToReplaceNode20"? | ("Node26SeeksANewMasterToReplaceNode12"? & G X "Node3AsksItsLeafSetToLx2ToReplaceNode5"?)) U X "Node16ReceiveTheLeafSetOfLx6ToReplaceNode10"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-06
  "Automatically generated"
  is:
    A (("Node31ReceiveTheLeafSetOfLx5ToReplaceNode8"? & "Node14AsksItsLeafSetToLx7ToReplaceNode0"? & "Node7AsksItsLeafSetToLx6ToReplaceNode13"?) | G ("Node3AsksItsLeafSetToRx4ToReplaceNode29"? | "Node7AsksItsLeafSetToLx6ToReplaceNode13"? | G "Node29ReceiveTheLeafSetOfLx1ToReplaceNode2"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-07
  "Automatically generated"
  is:
    A X G (X F "Node30AsksItsLeafSetToLx5ToReplaceNode10"? & F X F !F "Node11ReceiveTheLeafSetOfRx1ToReplaceNode18"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-08
  "Automatically generated"
  is:
    A ((G "Node28DetectsThatNode6CanReplaceNode19"? & !G X G X ("Node13SelectsANodeOfTheLeafSetOfRx7ToReplaceNode25"? U X "Node17AsksItsLeafSetToRx5ToReplaceNode16"?)) U F "Node13ReceiveTheLeafSetOfRx2ToReplaceNode29"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-09
  "Automatically generated"
  is:
    A F !(X (X G "Node18SelectsANodeOfTheLeafSetOfRx4ToReplaceNode21"? | G "Node14SelectsANodeOfTheLeafSetOfRx7ToReplaceNode25"?) U ("Node22SelectsANodeOfTheLeafSetOfRx1ToReplaceNode28"? & G "Node22SelectsANodeOfTheLeafSetOfRx1ToReplaceNode28"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-10
  "Automatically generated"
  is:
    A G X !F G "Node13AsksItsLeafSetToLx4ToReplaceNode15"?
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-11
  "Automatically generated"
  is:
    A G (G "Node28InformsHeIsTheNodeMasterToNode0"? U ("Node28InformsHeIsTheNodeMasterToNode0"? | X !X ("Rx6SendsItsLeafSetToNode24"? | X "Node5AsksItsLeafSetToLx4ToReplaceNode1"?)))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-12
"Automatically generated"
is:
A G X "Node32SelectsANodeOfTheLeafSetOfRx1ToReplaceNode27"?
end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-13
"Automatically generated"
is:
A (F (!G !"Node12IsNotRespondingToNode1ToReplaceNode19"? | !G !"Node1ReceiveTheLeafSetOfRx4ToReplaceNode26"?) U !"Node10SelectsANodeOfTheLeafSetOfRx6ToReplaceNode25"?)
end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-14
"Automatically generated 2023"
is:
A X X X (F !("Node6SelectsANodeOfTheLeafSetOfRx0ToReplaceNode17"? & "Node9AsksItsLeafSetToRx3ToReplaceNode31"?) U !"Node17ReceiveTheLeafSetOfLx1ToReplaceNode7"?)
end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLFireability-15
"Automatically generated"
is:
A (G !G ("Node19IsNotRespondingToNode7ToReplaceNode13"? U "Node29DetectsThatNode27CanReplaceNode15"?) U ("Node19IsNotRespondingToNode7ToReplaceNode13"? | G "Node19IsNotRespondingToNode7ToReplaceNode13"?))
end.
