Property gen-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F (("Node17SelectsANodeOfTheLeafSetOfLx3ToReplaceNode6"?) & (((((! "Node21IsNotRespondingToNode32ToReplaceNode12"?) & ((("Node31SelectsANodeOfTheLeafSetOfRx3ToReplaceNode27"?) | ("Node10SelectsANodeOfTheLeafSetOfLx1ToReplaceNode13"?))))) | ((((("Node18IsNotRespondingToNode9ToReplaceNode15"?) | ("Node28DetectsThatNode24CanReplaceNode19"?))) | ("Node1GetTheRightToManageTheCrashOfNode24"?))))))
  end.
Property gen-ReachabilityFireability-01
  "Automatically generated"
  is:
    A G ! (((((("Node9ReceiveTheLeafSetOfLx2ToReplaceNode0"?) | ("Node24SeeksANewMasterToReplaceNode3"?))) & ((("Node31SelectsANodeOfTheLeafSetOfLx0ToReplaceNode9"?) & ("Node31GetTheRightToManageTheCrashOfNode13"?))))) & ((((("Node26InformsHeIsTheNodeMasterToNode25"?) | ("Node2SelectsANodeOfTheLeafSetOfLx2ToReplaceNode12"?))) | ((("Node1AsksItsLeafSetToRx1ToReplaceNode31"?) & ("Node32AsksItsLeafSetToLx2ToReplaceNode8"?))))))
  end.
Property gen-ReachabilityFireability-02
  "Automatically generated"
  is:
    E F ((! (("Node24IsNotRespondingToNode0ToReplaceNode14"?) & (! "Node0SelectsANodeOfTheLeafSetOfLx1ToReplaceNode7"?))) & ("Node24AsksItsLeafSetToRx3ToReplaceNode27"?))
  end.
Property gen-ReachabilityFireability-03
  "Automatically generated"
  is:
    A G (("Node12IsNotRespondingToNode10ToReplaceNode15"?) | (((((! "Node22ReceiveTheLeafSetOfRx0ToReplaceNode18"?) | ((("Node23DetectsCrashOfNode11"?) | ("Node6AsksItsLeafSetToRx0ToReplaceNode22"?))))) | ((("Node16SeeksANewMasterToReplaceNode28"?) & ("Node11IsNotRespondingToNode6ToReplaceNode21"?))))))
  end.
Property gen-ReachabilityFireability-04
  "Automatically generated"
  is:
    A G ! "Node1InformsHeIsTheNodeMasterToNode26"?
  end.
Property gen-ReachabilityFireability-05
  "Automatically generated"
  is:
    E F (("Node10IsNotRespondingToNode0ToReplaceNode14"?) & (! ((! "Node10IsNotRespondingToNode28ToReplaceNode17"?) & ("Node4DetectsThatNode25CanReplaceNode19"?))))
  end.
Property gen-ReachabilityFireability-06
  "Automatically generated"
  is:
    E F (("Node2SelectsANodeOfTheLeafSetOfLx3ToReplaceNode0"?) | ((("Node15SelectsANodeOfTheLeafSetOfRx2ToReplaceNode23"?) & (! (("Node3ReceiveTheLeafSetOfLx0ToReplaceNode5"?) & ("Node22InformsHeIsTheNodeMasterToNode15"?))))))
  end.
Property gen-ReachabilityFireability-07
  "Automatically generated"
  is:
    E F ((! ! "Node30ReceiveTheLeafSetOfRx2ToReplaceNode26"?) & ("Node16GetTheRightToManageTheCrashOfNode19"?))
  end.
Property gen-ReachabilityFireability-08
  "Automatically generated"
  is:
    A G (("Node20AsksItsLeafSetToRx3ToReplaceNode23"?) | (! (((("Node28DetectsThatNode6CanReplaceNode18"?) | ("Node7DetectsThatNode24CanReplaceNode11"?))) & ((("Node32SeeksANewMasterToReplaceNode0"?) & ("Node28SelectsANodeOfTheLeafSetOfRx2ToReplaceNode22"?))))))
  end.
Property gen-ReachabilityFireability-09
  "Automatically generated"
  is:
    E F ((((! ! "Node25ReceiveTheLeafSetOfLx3ToReplaceNode10"?) & ((("Node26ReceiveTheLeafSetOfRx1ToReplaceNode21"?) & ((("Node7IsNotRespondingToNode3ToReplaceNode14"?) | ("Node5IsNotRespondingToNode0ToReplaceNode16"?))))))) & ((("Node22ReceiveTheLeafSetOfLx0ToReplaceNode8"?) & ((((("Node27ReceiveTheLeafSetOfLx2ToReplaceNode9"?) & ("Node13DetectsCrashOfNode28"?))) | (! "Node11DetectsCrashOfNode13"?))))))
  end.
Property gen-ReachabilityFireability-10
  "Automatically generated"
  is:
    E F (((((((("Node6SelectsANodeOfTheLeafSetOfRx0ToReplaceNode30"?) | ("Node7SelectsANodeOfTheLeafSetOfRx1ToReplaceNode19"?))) & (! "Node17IsNotRespondingToNode9ToReplaceNode15"?))) & (! (("Node23ReceiveTheLeafSetOfLx2ToReplaceNode7"?) & ("Node17SeeksANewMasterToReplaceNode21"?))))) | (((! (("Node23IsNotRespondingToNode29ToReplaceNode20"?) | ("Node19SeeksANewMasterToReplaceNode15"?))) & (((! "Node29DetectsThatNode26CanReplaceNode16"?) & ((("Node15IsNotRespondingToNode20ToReplaceNode16"?) & ("Node10AsksItsLeafSetToRx1ToReplaceNode19"?))))))))
  end.
Property gen-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F "Node31DetectsThatNode23CanReplaceNode10"?
  end.
Property gen-ReachabilityFireability-12
  "Automatically generated"
  is:
    A G (((((((("Node25GetTheRightToManageTheCrashOfNode5"?) | ("Node19SelectsANodeOfTheLeafSetOfRx3ToReplaceNode30"?))) | (! "Node28DetectsThatNode22CanReplaceNode14"?))) & (((! "Node6ReceiveTheLeafSetOfRx3ToReplaceNode27"?) | ((("Node3IsNotRespondingToNode32ToReplaceNode17"?) | ("Node17AsksItsLeafSetToLx1ToReplaceNode10"?))))))) | (! "Node32DetectsThatNode7CanReplaceNode17"?))
  end.
Property gen-ReachabilityFireability-13
  "Automatically generated"
  is:
    A G ((! (("Node10SelectsANodeOfTheLeafSetOfRx1ToReplaceNode28"?) | ((("Node6AsksItsLeafSetToRx2ToReplaceNode32"?) & ("Node15IsNotRespondingToNode19ToReplaceNode16"?))))) | ("Node27DetectsThatNode6CanReplaceNode17"?))
  end.
Property gen-ReachabilityFireability-14
  "Automatically generated"
  is:
    E F "Node14SelectsANodeOfTheLeafSetOfLx0ToReplaceNode5"?
  end.
Property gen-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F (("Node28SelectsANodeOfTheLeafSetOfRx3ToReplaceNode32"?) | (((! ! "Node7AsksItsLeafSetToLx0ToReplaceNode3"?) | ("Node31DetectsThatNode6CanReplaceNode7"?))))
  end.
