Property gen-ReachabilityFireability-00
  "Automatically generated"
  is:
    E F (((("Node22ReceiveTheLeafSetOfLx4ToReplaceNode10"?) | (! ! "Node2SeeksANewMasterToReplaceNode6"?))) | ((("Node22InformsHeIsTheNodeMasterToNode14"?) & ((("Node8ReceiveTheLeafSetOfLx6ToReplaceNode7"?) | (! "Node20SelectsANodeOfTheLeafSetOfRx2ToReplaceNode24"?))))))
  end.
Property gen-ReachabilityFireability-01
  "Automatically generated"
  is:
    A G ((! ((! "Node7AsksItsLeafSetToRx6ToReplaceNode19"?) | ("Node11SeeksANewMasterToReplaceNode20"?))) | ((("Node4ReceiveTheLeafSetOfLx0ToReplaceNode9"?) | (! (("Node10SelectsANodeOfTheLeafSetOfLx6ToReplaceNode8"?) & ("Node13AsksItsLeafSetToRx10ToReplaceNode24"?))))))
  end.
Property gen-ReachabilityFireability-02
  "Automatically generated"
  is:
    A G ((! "Node2DetectsThatNode3CanReplaceNode5"?) | ((((("Node3SelectsANodeOfTheLeafSetOfRx2ToReplaceNode16"?) | (! "Node24AsksItsLeafSetToLx9ToReplaceNode4"?))) | (((! "Node17AsksItsLeafSetToRx1ToReplaceNode24"?) & (! "Node24DetectsThatNode1CanReplaceNode18"?))))))
  end.
Property gen-ReachabilityFireability-03
  "Automatically generated"
  is:
    E F ! ! "Node12SelectsANodeOfTheLeafSetOfLx5ToReplaceNode6"?
  end.
Property gen-ReachabilityFireability-04
  "Automatically generated"
  is:
    A G ((! "Node16ReceiveTheLeafSetOfLx6ToReplaceNode0"?) | ((("Node12AsksItsLeafSetToLx8ToReplaceNode6"?) & ((((("Node7IsNotRespondingToNode23ToReplaceNode16"?) | ("Node19IsNotRespondingToNode2ToReplaceNode18"?))) | ((("Node22AsksItsLeafSetToRx5ToReplaceNode21"?) | ("Node13SelectsANodeOfTheLeafSetOfRx7ToReplaceNode16"?))))))))
  end.
Property gen-ReachabilityFireability-05
  "Automatically generated"
  is:
    E F ((((! ! "Node12AsksItsLeafSetToRx10ToReplaceNode18"?) & (! (("Node17AsksItsLeafSetToRx8ToReplaceNode24"?) & ("Node8IsNotRespondingToNode6ToReplaceNode14"?))))) | ((("Node10SelectsANodeOfTheLeafSetOfLx6ToReplaceNode11"?) & ((((("Node4AsksItsLeafSetToRx0ToReplaceNode18"?) | ("Node9ReceiveTheLeafSetOfLx7ToReplaceNode3"?))) | (! "Node9IsNotRespondingToNode4ToReplaceNode13"?))))))
  end.
Property gen-ReachabilityFireability-06
  "Automatically generated"
  is:
    E F "Node20AsksItsLeafSetToLx8ToReplaceNode7"?
  end.
Property gen-ReachabilityFireability-07
  "Automatically generated"
  is:
    A G ((((! ! "Node11SelectsANodeOfTheLeafSetOfLx6ToReplaceNode6"?) | ((((("Node20SelectsANodeOfTheLeafSetOfRx0ToReplaceNode19"?) & ("Node14SeeksANewMasterToReplaceNode24"?))) | ((("Node6ReceiveTheLeafSetOfLx6ToReplaceNode3"?) | ("Node1SelectsANodeOfTheLeafSetOfRx8ToReplaceNode15"?))))))) | (((! (("Node2ReceiveTheLeafSetOfRx8ToReplaceNode20"?) & ("Node7SelectsANodeOfTheLeafSetOfLx5ToReplaceNode5"?))) | ("Node19ReceiveTheLeafSetOfLx7ToReplaceNode10"?))))
  end.
Property gen-ReachabilityFireability-08
  "Automatically generated"
  is:
    E F ! (((((("Node19SeeksANewMasterToReplaceNode11"?) | ("Node4AsksItsLeafSetToLx0ToReplaceNode7"?))) | ("Node24AsksItsLeafSetToLx8ToReplaceNode3"?))) | (! (("Node17ReceiveTheLeafSetOfLx6ToReplaceNode10"?) | ("Node3ReceiveTheLeafSetOfRx1ToReplaceNode22"?))))
  end.
Property gen-ReachabilityFireability-09
  "Automatically generated"
  is:
    E F (((("Node7SelectsANodeOfTheLeafSetOfRx8ToReplaceNode17"?) & (((! "Node17SelectsANodeOfTheLeafSetOfLx10ToReplaceNode0"?) | ((("Node0InformsHeIsTheNodeMasterToNode22"?) & ("Node6SelectsANodeOfTheLeafSetOfRx5ToReplaceNode15"?))))))) & ((((((("Node10AsksItsLeafSetToLx10ToReplaceNode1"?) & ("Node3ReceiveTheLeafSetOfLx7ToReplaceNode4"?))) & ("Node13SelectsANodeOfTheLeafSetOfRx9ToReplaceNode16"?))) & ("Node11AsksItsLeafSetToLx3ToReplaceNode1"?))))
  end.
Property gen-ReachabilityFireability-10
  "Automatically generated"
  is:
    E F ((((! ! "Node5ReceiveTheLeafSetOfLx3ToReplaceNode6"?) | ("Node1AsksItsLeafSetToLx5ToReplaceNode2"?))) & ((("Node1DetectsThatNode15CanReplaceNode10"?) | (! (("Node23ReceiveTheLeafSetOfRx1ToReplaceNode15"?) & ("Node0DetectsThatNode1CanReplaceNode16"?))))))
  end.
Property gen-ReachabilityFireability-11
  "Automatically generated"
  is:
    E F "Node14SelectsANodeOfTheLeafSetOfRx2ToReplaceNode22"?
  end.
Property gen-ReachabilityFireability-12
  "Automatically generated"
  is:
    E F "Node19IsNotRespondingToNode24ToReplaceNode6"?
  end.
Property gen-ReachabilityFireability-13
  "Automatically generated"
  is:
    A G ((((((! "Node9SelectsANodeOfTheLeafSetOfLx0ToReplaceNode11"?) | ((("Node24ReceiveTheLeafSetOfRx4ToReplaceNode18"?) & ("Node5AsksItsLeafSetToLx9ToReplaceNode12"?))))) | ((((("Node15AsksItsLeafSetToRx1ToReplaceNode23"?) & ("Node4ReceiveTheLeafSetOfRx0ToReplaceNode18"?))) | ((("Node19AsksItsLeafSetToLx4ToReplaceNode6"?) & ("Node3ReceiveTheLeafSetOfRx9ToReplaceNode23"?))))))) | ("Node22SelectsANodeOfTheLeafSetOfRx3ToReplaceNode20"?))
  end.
Property gen-ReachabilityFireability-14
  "Automatically generated"
  is:
    A G ! (((((("Node1AsksItsLeafSetToLx4ToReplaceNode4"?) | ("Node14SelectsANodeOfTheLeafSetOfLx6ToReplaceNode8"?))) | (! "Node14ReceiveTheLeafSetOfRx7ToReplaceNode23"?))) & ((((("Node15IsNotRespondingToNode7ToReplaceNode14"?) | ("Node11SelectsANodeOfTheLeafSetOfRx5ToReplaceNode16"?))) & (! "Node8SelectsANodeOfTheLeafSetOfRx10ToReplaceNode16"?))))
  end.
Property gen-ReachabilityFireability-15
  "Automatically generated"
  is:
    E F "Node11ReceiveTheLeafSetOfRx9ToReplaceNode16"?
  end.
