Property gen-ReachabilityCardinality-00
  "Automatically generated"
  is:
    A G ((((((((#tokens("Node11HasTheLeafSetOfLx3ToReplaceNode2")) <= (#tokens("Node13HasAskedItsLeafSetToLx1ToReplaceNode7")))) & (((1) <= (#tokens("Node13HasTheLeafSetOfLx7ToReplaceNode3")))))) & (((3) <= (#tokens("Rx5HasReceivedTheRequestOfNode16")))))) | (((#tokens("Node23HasTheLeafSetOfLx3ToReplaceNode6")) <= (#tokens("Node12HasTheLeafSetOfRx9ToReplaceNode15")))))
  end.
Property gen-ReachabilityCardinality-01
  "Automatically generated"
  is:
    A G ((#tokens("Node11HasTheLeafSetOfRx0ToReplaceNode17")) <= (#tokens("Node1HasAskedItsLeafSetToLx1ToReplaceNode0")))
  end.
Property gen-ReachabilityCardinality-02
  "Automatically generated"
  is:
    E F ((((! ((#tokens("Node3HasAskedItsLeafSetToRx2ToReplaceNode13")) <= (#tokens("Node20HasTheLeafSetOfLx2ToReplaceNode5")))) | (! ((#tokens("Node13HasAskedItsLeafSetToLx1ToReplaceNode0")) <= (#tokens("Node13HasAskedItsLeafSetToLx9ToReplaceNode2")))))) & (((((#tokens("Node5HasAskedItsLeafSetToLx8ToReplaceNode11")) <= (#tokens("Node11HasAskedItsLeafSetToRx4ToReplaceNode18")))) | (((1) <= (#tokens("Node15HasAskedItsLeafSetToRx3ToReplaceNode12")))))))
  end.
Property gen-ReachabilityCardinality-03
  "Automatically generated"
  is:
    E F ((2) <= (#tokens("Node1HasTheLeafSetOfRx9ToReplaceNode24")))
  end.
Property gen-ReachabilityCardinality-04
  "Automatically generated"
  is:
    A G ! ((((#tokens("Node21WantsToManageTheCrashOfNode3")) <= (#tokens("Node2HasAskedItsLeafSetToRx6ToReplaceNode13")))) & (((((#tokens("Node7HasAskedItsLeafSetToLx7ToReplaceNode1")) <= (#tokens("Node23HasAskedItsLeafSetToRx1ToReplaceNode16")))) & (((2) <= (#tokens("LeafSetOfLx7IsSentToNode24")))))))
  end.
Property gen-ReachabilityCardinality-05
  "Automatically generated"
  is:
    E F ((1) <= (#tokens("LeafSetOfLx6IsSentToNode11")))
  end.
Property gen-ReachabilityCardinality-06
  "Automatically generated"
  is:
    E F ! ! ((((#tokens("Node24HasTheLeafSetOfLx9ToReplaceNode1")) <= (#tokens("Node14HasDetectedCrashOfNode0")))) & (((3) <= (#tokens("Node21HasAskedItsLeafSetToLx5ToReplaceNode1")))))
  end.
Property gen-ReachabilityCardinality-07
  "Automatically generated"
  is:
    E F ((((((((1) <= (#tokens("Node16HasAskedItsLeafSetToRx7ToReplaceNode18")))) & (((2) <= (#tokens("Node2HasAskedItsLeafSetToRx7ToReplaceNode19")))))) & (((((#tokens("Node4HasAskedItsLeafSetToLx4ToReplaceNode0")) <= (#tokens("Node13HasAskedItsLeafSetToLx7ToReplaceNode2")))) & (((1) <= (#tokens("Node22HasTheLeafSetOfRx5ToReplaceNode19")))))))) | (((((#tokens("Node4HasAskedItsLeafSetToRx1ToReplaceNode18")) <= (#tokens("Node16HasDetectedCrashOfNode3")))) & (((3) <= (#tokens("Node18HasAskedItsLeafSetToLx0ToReplaceNode10")))))))
  end.
Property gen-ReachabilityCardinality-08
  "Automatically generated"
  is:
    E F ((((1) <= (#tokens("Node12HasTheLeafSetOfRx5ToReplaceNode20")))) | (((((((3) <= (#tokens("Node17HasTheLeafSetOfLx2ToReplaceNode2")))) & (((#tokens("Node1HasTheLeafSetOfRx7ToReplaceNode13")) <= (#tokens("Node8HasAskedItsLeafSetToRx3ToReplaceNode18")))))) & (! ((1) <= (#tokens("Node0HasTheLeafSetOfLx10ToReplaceNode6")))))))
  end.
Property gen-ReachabilityCardinality-09
  "Automatically generated"
  is:
    A G ((((((((#tokens("Node15HasTheLeafSetOfRx4ToReplaceNode22")) <= (#tokens("Node1HasTheLeafSetOfRx0ToReplaceNode21")))) | (((2) <= (#tokens("Node20HasTheLeafSetOfLx0ToReplaceNode2")))))) | (((((#tokens("Node12HasTheLeafSetOfLx8ToReplaceNode1")) <= (#tokens("Node9ManageTheCrashOfNode24")))) | (((#tokens("Node15HasAskedItsLeafSetToRx0ToReplaceNode12")) <= (#tokens("Node20ThinksNode18ShouldBeNodeMasterToReplaceNode17")))))))) & (! ((((3) <= (#tokens("Node6HasTheLeafSetOfLx6ToReplaceNode10")))) | (((1) <= (#tokens("Node23HasAskedItsLeafSetToLx8ToReplaceNode8")))))))
  end.
Property gen-ReachabilityCardinality-10
  "Automatically generated"
  is:
    E F ! ! ! ((#tokens("Node12HasAskedItsLeafSetToLx10ToReplaceNode10")) <= (#tokens("Node14HasTheLeafSetOfLx8ToReplaceNode7")))
  end.
Property gen-ReachabilityCardinality-11
  "Automatically generated"
  is:
    E F ((((((((#tokens("Node12HasAskedItsLeafSetToLx7ToReplaceNode1")) <= (#tokens("Node12HasAskedItsLeafSetToRx9ToReplaceNode24")))) | (((#tokens("Node10HasAskedItsLeafSetToRx2ToReplaceNode18")) <= (#tokens("Node15HasAskedItsLeafSetToRx7ToReplaceNode16")))))) & (((((1) <= (#tokens("LeafSetOfLx1IsSentToNode11")))) & (((#tokens("Node3HasAskedItsLeafSetToLx7ToReplaceNode8")) <= (#tokens("Node3WantsToManageTheCrashOfNode23")))))))) | (((((((#tokens("Node3HasAskedItsLeafSetToRx3ToReplaceNode17")) <= (#tokens("Node19HasTheLeafSetOfRx8ToReplaceNode13")))) & (((#tokens("Node22HasAskedItsLeafSetToLx0ToReplaceNode4")) <= (#tokens("Node5HasTheLeafSetOfRx9ToReplaceNode17")))))) & (((2) <= (#tokens("Node15HasTheLeafSetOfRx0ToReplaceNode13")))))))
  end.
Property gen-ReachabilityCardinality-12
  "Automatically generated"
  is:
    A G ((((((#tokens("Node24HasTheLeafSetOfRx6ToReplaceNode19")) <= (#tokens("Node16HasAskedItsLeafSetToLx5ToReplaceNode8")))) | (((((#tokens("Node8HasAskedItsLeafSetToLx4ToReplaceNode2")) <= (#tokens("Node17HasTheLeafSetOfLx4ToReplaceNode2")))) & (((#tokens("Node2HasAskedItsLeafSetToRx1ToReplaceNode13")) <= (#tokens("Node18HasTheLeafSetOfLx4ToReplaceNode7")))))))) | (((((((3) <= (#tokens("Node8HasTheLeafSetOfRx1ToReplaceNode14")))) | (((#tokens("Node23HasAskedItsLeafSetToLx7ToReplaceNode2")) <= (#tokens("RequestOfNode6IsSentToLx4")))))) & (((((#tokens("Node15HasAskedItsLeafSetToLx5ToReplaceNode10")) <= (#tokens("Node0ThinksNode3ShouldBeNodeMasterToReplaceNode15")))) | (((1) <= (#tokens("Node24HasTheLeafSetOfRx10ToReplaceNode16")))))))))
  end.
Property gen-ReachabilityCardinality-13
  "Automatically generated"
  is:
    E F ((3) <= (#tokens("Node18HasTheLeafSetOfRx9ToReplaceNode12")))
  end.
Property gen-ReachabilityCardinality-14
  "Automatically generated"
  is:
    E F ((((((((#tokens("Node5HasTheLeafSetOfLx2ToReplaceNode11")) <= (#tokens("Node19HasTheLeafSetOfLx5ToReplaceNode6")))) | (((#tokens("Node20HasDetectedCrashOfNode13")) <= (#tokens("Node7ManageTheCrashOfNode21")))))) & (((2) <= (#tokens("Node14HasAskedItsLeafSetToRx8ToReplaceNode17")))))) & (! ((3) <= (#tokens("Node16HasAskedItsLeafSetToRx9ToReplaceNode24")))))
  end.
Property gen-ReachabilityCardinality-15
  "Automatically generated"
  is:
    A G ((#tokens("Node0HasTheLeafSetOfRx9ToReplaceNode16")) <= (#tokens("Node9HasTheLeafSetOfRx5ToReplaceNode20")))
  end.
