Property gen-ReachabilityCardinality-00
  "Automatically generated"
  is:
    E F ((! ! ((3) <= (#tokens("Node7ManageTheCrashOfNode12")))) | (((((#tokens("Node0ThinksNode1ShouldBeNodeMasterToReplaceNode20")) <= (#tokens("Rx1HasReceivedTheRequestOfNode14")))) & (((((1) <= (#tokens("Node3HasAskedItsLeafSetToRx0ToReplaceNode21")))) & (((#tokens("Node4HasDetectedCrashOfNode25")) <= (#tokens("Node14WantsToManageTheCrashOfNode10")))))))))
  end.
Property gen-ReachabilityCardinality-01
  "Automatically generated"
  is:
    E F ! ((((((3) <= (#tokens("Node12HasAskedItsLeafSetToRx0ToReplaceNode21")))) & (((#tokens("Node24WantsToManageTheCrashOfNode0")) <= (#tokens("Node29ThinksNode8ShouldBeNodeMasterToReplaceNode15")))))) | (((((#tokens("Node32HasAskedItsLeafSetToLx3ToReplaceNode3")) <= (#tokens("Node14WantsToManageTheCrashOfNode8")))) | (((#tokens("Node26HasAskedItsLeafSetToRx1ToReplaceNode28")) <= (#tokens("Node25WantsToManageTheCrashOfNode1")))))))
  end.
Property gen-ReachabilityCardinality-02
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("Node30ThinksNode26ShouldBeNodeMasterToReplaceNode14")))
  end.
Property gen-ReachabilityCardinality-03
  "Automatically generated"
  is:
    A G ((#tokens("Node8ManageTheCrashOfNode28")) <= (#tokens("Node11HasTheLeafSetOfRx3ToReplaceNode31")))
  end.
Property gen-ReachabilityCardinality-04
  "Automatically generated"
  is:
    E F ((((((((3) <= (#tokens("Node29ThinksNode23ShouldBeNodeMasterToReplaceNode11")))) & (((2) <= (#tokens("Node25HasAskedItsLeafSetToLx0ToReplaceNode11")))))) & (((#tokens("Node2ThinksNode9ShouldBeNodeMasterToReplaceNode14")) <= (#tokens("Node7HasAskedItsLeafSetToRx2ToReplaceNode18")))))) | (((((1) <= (#tokens("Node5HasAskedItsLeafSetToRx2ToReplaceNode21")))) & (! ((#tokens("Node31ThinksNode27ShouldBeNodeMasterToReplaceNode24")) <= (#tokens("Node4HasTheLeafSetOfLx1ToReplaceNode9")))))))
  end.
Property gen-ReachabilityCardinality-05
  "Automatically generated"
  is:
    E F ! ! ((((#tokens("Node10ThinksNode18ShouldBeNodeMasterToReplaceNode15")) <= (#tokens("Node29HasTheLeafSetOfLx3ToReplaceNode13")))) & (((3) <= (#tokens("Node9HasAskedItsLeafSetToRx3ToReplaceNode30")))))
  end.
Property gen-ReachabilityCardinality-06
  "Automatically generated"
  is:
    E F ((((! ((1) <= (#tokens("Node9HasAskedItsLeafSetToLx0ToReplaceNode0")))) & (! ((#tokens("Node23IsActive")) <= (#tokens("Node23HasTheLeafSetOfRx0ToReplaceNode19")))))) & (((! ((1) <= (#tokens("Node31HasAskedItsLeafSetToRx0ToReplaceNode20")))) & (((((2) <= (#tokens("Node12HasTheLeafSetOfRx1ToReplaceNode22")))) & (((#tokens("Node9HasAskedItsLeafSetToRx1ToReplaceNode27")) <= (#tokens("Node5ThinksNode12ShouldBeNodeMasterToReplaceNode15")))))))))
  end.
Property gen-ReachabilityCardinality-07
  "Automatically generated"
  is:
    A G ((! ((((#tokens("Node25HasAskedItsLeafSetToLx3ToReplaceNode11")) <= (#tokens("Node10ThinksNode18ShouldBeNodeMasterToReplaceNode16")))) & (((3) <= (#tokens("Node21ManageTheCrashOfNode16")))))) | (! ! ((3) <= (#tokens("Node27ThinksNode21ShouldBeNodeMasterToReplaceNode17")))))
  end.
Property gen-ReachabilityCardinality-08
  "Automatically generated"
  is:
    A G ((#tokens("Node1ThinksNode26ShouldBeNodeMasterToReplaceNode6")) <= (#tokens("Node12WantsToManageTheCrashOfNode7")))
  end.
Property gen-ReachabilityCardinality-09
  "Automatically generated"
  is:
    A G ((((! ((#tokens("Node10ThinksNode20ShouldBeNodeMasterToReplaceNode15")) <= (#tokens("Node20HasAskedItsLeafSetToRx1ToReplaceNode23")))) | (((#tokens("Node13HasTheLeafSetOfRx0ToReplaceNode21")) <= (#tokens("Node31HasTheLeafSetOfRx0ToReplaceNode27")))))) | (((2) <= (#tokens("Rx2HasReceivedTheRequestOfNode23")))))
  end.
Property gen-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ! ((((((1) <= (#tokens("Node1HasTheLeafSetOfRx2ToReplaceNode29")))) | (((#tokens("Node30HasAskedItsLeafSetToRx2ToReplaceNode18")) <= (#tokens("Node6HasAskedItsLeafSetToRx0ToReplaceNode28")))))) & (((((#tokens("Node19HasTheLeafSetOfLx2ToReplaceNode12")) <= (#tokens("Node21HasAskedItsLeafSetToRx2ToReplaceNode19")))) | (((#tokens("Node21HasDetectedCrashOfNode11")) <= (#tokens("Node8ThinksNode13ShouldBeNodeMasterToReplaceNode17")))))))
  end.
Property gen-ReachabilityCardinality-11
  "Automatically generated"
  is:
    A G ! ((2) <= (#tokens("Node1HasAskedItsLeafSetToRx2ToReplaceNode24")))
  end.
Property gen-ReachabilityCardinality-12
  "Automatically generated"
  is:
    E F ((((((1) <= (#tokens("Rx2HasReceivedTheRequestOfNode10")))) & (! ((3) <= (#tokens("Node13WantsToManageTheCrashOfNode5")))))) | (((3) <= (#tokens("Node18HasDetectedCrashOfNode16")))))
  end.
Property gen-ReachabilityCardinality-13
  "Automatically generated"
  is:
    E F ((! ((((#tokens("Node32ThinksNode14ShouldBeNodeMasterToReplaceNode16")) <= (#tokens("Node32ThinksNode2ShouldBeNodeMasterToReplaceNode30")))) | (((#tokens("Node23HasAskedItsLeafSetToLx0ToReplaceNode1")) <= (#tokens("Node11ThinksNode12ShouldBeNodeMasterToReplaceNode19")))))) | (((((((1) <= (#tokens("Node23HasTheLeafSetOfLx0ToReplaceNode7")))) & (((1) <= (#tokens("Node22HasTheLeafSetOfRx0ToReplaceNode21")))))) & (((((#tokens("Node13WantsToManageTheCrashOfNode19")) <= (#tokens("Node26ThinksNode12ShouldBeNodeMasterToReplaceNode20")))) | (((#tokens("Node32HasTheLeafSetOfLx2ToReplaceNode6")) <= (#tokens("Node10HasAskedItsLeafSetToRx3ToReplaceNode21")))))))))
  end.
Property gen-ReachabilityCardinality-14
  "Automatically generated"
  is:
    A G ((((((#tokens("Node14HasAskedItsLeafSetToLx1ToReplaceNode4")) <= (#tokens("Node8HasAskedItsLeafSetToRx1ToReplaceNode27")))) & (((((1) <= (#tokens("Node1ThinksNode4ShouldBeNodeMasterToReplaceNode24")))) & (((3) <= (#tokens("Node6ThinksNode9ShouldBeNodeMasterToReplaceNode20")))))))) | (((((((3) <= (#tokens("Node5HasAskedItsLeafSetToLx2ToReplaceNode15")))) | (((#tokens("Node30ManageTheCrashOfNode8")) <= (#tokens("Node19HasTheLeafSetOfLx1ToReplaceNode5")))))) | (! ((2) <= (#tokens("Rx0HasReceivedTheRequestOfNode15")))))))
  end.
Property gen-ReachabilityCardinality-15
  "Automatically generated"
  is:
    E F ((! ((#tokens("Node29ThinksNode7ShouldBeNodeMasterToReplaceNode24")) <= (#tokens("Node5ThinksNode7ShouldBeNodeMasterToReplaceNode12")))) & (! ((#tokens("Node27ThinksNode11ShouldBeNodeMasterToReplaceNode18")) <= (#tokens("Node5ThinksNode25ShouldBeNodeMasterToReplaceNode14")))))
  end.
