Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-00
  "Automatically generated"
  is:
    A F G (!G "Node5ReceiveTheLeafSetOfLx4ToReplaceNode8"? U !F G "Rx2SendsItsLeafSetToNode10"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-01
  "Automatically generated"
  is:
    A (X ("Node27AsksItsLeafSetToLx10ToReplaceNode2"? & !F "Node27AsksItsLeafSetToLx10ToReplaceNode2"?) U F "Node13AsksItsLeafSetToLx9ToReplaceNode14"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-02
  "Automatically generated"
  is:
    A F G !(("Node27SelectsANodeOfTheLeafSetOfLx6ToReplaceNode5"? & X "Node2ReceiveTheLeafSetOfLx4ToReplaceNode9"?) U G F ("Node2ReceiveTheLeafSetOfLx4ToReplaceNode9"? | "Node1SelectsANodeOfTheLeafSetOfLx8ToReplaceNode0"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-03
  "Automatically generated"
  is:
    A (X "Lx6SendsItsLeafSetToNode1"? U (G X "Node13ReceiveTheLeafSetOfRx10ToReplaceNode17"? | X (G !"Node18SelectsANodeOfTheLeafSetOfRx9ToReplaceNode32"? U "Lx6SendsItsLeafSetToNode1"?)))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-04
  "Automatically generated"
  is:
    A (("Node25IsNotRespondingToNode5ToReplaceNode20"? U "Node19ReceiveTheLeafSetOfRx8ToReplaceNode28"?) & X F X X !G "Node0DetectsThatNode27CanReplaceNode15"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-05
  "Automatically generated"
  is:
    A F X G F (!X G "Node30InformsHeIsTheNodeMasterToNode31"? | G X !F "Node7IsNotRespondingToNode0ToReplaceNode20"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-06
  "Automatically generated"
  is:
    A G F ("Node29SeeksANewMasterToReplaceNode30"? & X (G "Node29SeeksANewMasterToReplaceNode30"? U X (!"Node9ReceiveTheLeafSetOfLx3ToReplaceNode4"? | G "Node3IsNotRespondingToNode32ToReplaceNode13"?)))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-07
  "Automatically generated"
  is:
    A X X X !("Node1DetectsThatNode11CanReplaceNode12"? & G "Node1DetectsThatNode11CanReplaceNode12"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-08
  "Automatically generated"
  is:
    A !X !X !X (F "Node12ReceiveTheLeafSetOfLx4ToReplaceNode8"? & X ("Node12ReceiveTheLeafSetOfLx4ToReplaceNode8"? U "Node6DetectsThatNode24CanReplaceNode20"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-09
  "Automatically generated"
  is:
    A !G (X (F "Node3ReceiveTheLeafSetOfLx0ToReplaceNode5"? & X !F "Node14SelectsANodeOfTheLeafSetOfRx0ToReplaceNode17"?) U "Node32AsksItsLeafSetToRx10ToReplaceNode25"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-10
  "Automatically generated"
  is:
    A (F "Node2DetectsThatNode3CanReplaceNode29"? & (X X X "Node23SelectsANodeOfTheLeafSetOfLx8ToReplaceNode8"? | X G "Node20ReceiveTheLeafSetOfLx9ToReplaceNode4"?))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-11
  "Automatically generated"
  is:
    A G (X F X F X X ("Node22SelectsANodeOfTheLeafSetOfRx6ToReplaceNode27"? U (!"Node30DetectsThatNode7CanReplaceNode23"? & "Node3DetectsThatNode25CanReplaceNode22"?)) U "Node7SelectsANodeOfTheLeafSetOfRx5ToReplaceNode31"?)
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-12
"Automatically generated"
is:
A !G ("Node15SelectsANodeOfTheLeafSetOfRx9ToReplaceNode17"? | ("Node19InformsHeIsTheNodeMasterToNode24"? U "Node15SelectsANodeOfTheLeafSetOfRx9ToReplaceNode17"?) | F "Node7InformsHeIsTheNodeMasterToNode16"?)
end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-13
"Automatically generated"
is:
A (G F (G "Node24ReceiveTheLeafSetOfLx6ToReplaceNode8"? | G X G X F "Node13SelectsANodeOfTheLeafSetOfRx1ToReplaceNode27"?) U G F "Node31AsksItsLeafSetToRx0ToReplaceNode28"?)
end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-14
"Automatically generated"
is:
A (F "Node17AsksItsLeafSetToRx0ToReplaceNode16"? & !F X !"Node14ReceiveTheLeafSetOfLx9ToReplaceNode9"?)
end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLFireability-15
"Automatically generated"
is:
A X G X (!"Node23ReceiveTheLeafSetOfLx9ToReplaceNode7"? & X "Node5ReceiveTheLeafSetOfLx3ToReplaceNode1"?)
end.
