Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-00
  "Automatically generated"
  is:
    A (G !(((3) <= (#tokens("Node13AsksIsThereANodeMaster"))) | ((3) <= (#tokens("Node17HasAskedItsLeafSetToRx1ToReplaceNode22")))) & F ((((3) <= (#tokens("Node13AsksIsThereANodeMaster"))) & G ((#tokens("Node15HasAskedItsLeafSetToLx1ToReplaceNode6")) <= (#tokens("Node26HasAskedItsLeafSetToLx4ToReplaceNode6")))) U (((#tokens("Node15HasAskedItsLeafSetToLx1ToReplaceNode6")) <= (#tokens("Node26HasAskedItsLeafSetToLx4ToReplaceNode6"))) | ((3) <= (#tokens("Node17HasAskedItsLeafSetToRx1ToReplaceNode22"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-01
  "Automatically generated"
  is:
    A !F (F G ((3) <= (#tokens("Node6ThinksNode20ShouldBeNodeMasterToReplaceNode13"))) U ((3) <= (#tokens("Node6ThinksNode20ShouldBeNodeMasterToReplaceNode13"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-02
  "Automatically generated"
  is:
    A X X (F ((#tokens("Node14HasTheLeafSetOfRx2ToReplaceNode21")) <= (#tokens("Node5WantsToManageTheCrashOfNode22"))) U (F ((#tokens("Node32HasAskedItsLeafSetToLx0ToReplaceNode15")) <= (#tokens("Node8ThinksNode10ShouldBeNodeMasterToReplaceNode19"))) & X G X ((#tokens("Node31ThinksNode30ShouldBeNodeMasterToReplaceNode10")) <= (#tokens("Node25HasTheLeafSetOfLx5ToReplaceNode9")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-03
  "Automatically generated"
  is:
    A (G X X G (((#tokens("Node23HasTheLeafSetOfLx3ToReplaceNode5")) <= (#tokens("Node25HasAskedItsLeafSetToLx1ToReplaceNode0"))) & ((#tokens("Node9ThinksNode21ShouldBeNodeMasterToReplaceNode17")) <= (#tokens("Node19HasTheLeafSetOfLx3ToReplaceNode5")))) & (!((1) <= (#tokens("Node32HasTheLeafSetOfRx4ToReplaceNode19"))) U ((1) <= (#tokens("Node32HasTheLeafSetOfRx4ToReplaceNode19")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-04
  "Automatically generated"
  is:
    A X (G (((2) <= (#tokens("Node10HasDetectedCrashOfNode11"))) & X ((#tokens("Node11HasTheLeafSetOfLx1ToReplaceNode12")) <= (#tokens("Node20HasAskedItsLeafSetToLx5ToReplaceNode1")))) U (((#tokens("Node11HasTheLeafSetOfLx1ToReplaceNode12")) <= (#tokens("Node20HasAskedItsLeafSetToLx5ToReplaceNode1"))) | X X ((#tokens("Node26HasDetectedCrashOfNode13")) <= (#tokens("Node11HasAskedItsLeafSetToLx2ToReplaceNode10")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-05
  "Automatically generated"
  is:
    A G (((2) <= (#tokens("Node8HasAskedItsLeafSetToRx4ToReplaceNode20"))) | X ((2) <= (#tokens("Node8HasAskedItsLeafSetToRx4ToReplaceNode20"))) | G X X !(F ((#tokens("Node4ThinksNode5ShouldBeNodeMasterToReplaceNode18")) <= (#tokens("Node8HasTheLeafSetOfRx3ToReplaceNode27"))) U ((2) <= (#tokens("Node8HasAskedItsLeafSetToRx4ToReplaceNode20")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-06
  "Automatically generated"
  is:
    A F ((#tokens("Node6ThinksNode13ShouldBeNodeMasterToReplaceNode14")) <= (#tokens("Node26ThinksNode20ShouldBeNodeMasterToReplaceNode15")))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-07
  "Automatically generated"
  is:
    A ((F !G !((2) <= (#tokens("Node2HasCrashed"))) U X X (!((#tokens("Node1HasAskedItsLeafSetToLx5ToReplaceNode13")) <= (#tokens("Node16HasTheLeafSetOfRx5ToReplaceNode21"))) & F ((#tokens("Node18HasTheLeafSetOfLx2ToReplaceNode11")) <= (#tokens("Node0ManageTheCrashOfNode22"))))) U ((2) <= (#tokens("Node32ThinksNode3ShouldBeNodeMasterToReplaceNode28"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-08
  "Automatically generated"
  is:
    A X (X !X (((#tokens("Node30ThinksNode27ShouldBeNodeMasterToReplaceNode24")) <= (#tokens("Node0ThinksNode4ShouldBeNodeMasterToReplaceNode7"))) | ((#tokens("Node22ManageTheCrashOfNode26")) <= (#tokens("Node16HasTheLeafSetOfRx4ToReplaceNode26")))) | (((#tokens("Node30ThinksNode27ShouldBeNodeMasterToReplaceNode24")) <= (#tokens("Node0ThinksNode4ShouldBeNodeMasterToReplaceNode7"))) & F ((1) <= (#tokens("Node4ThinksNode19ShouldBeNodeMasterToReplaceNode15")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-09
  "Automatically generated"
  is:
    A G (!G ((2) <= (#tokens("Node31ThinksNode29ShouldBeNodeMasterToReplaceNode11"))) | ((G !((#tokens("Node3HasTheLeafSetOfLx4ToReplaceNode15")) <= (#tokens("Node21AsksIsThereANodeMaster"))) U G ((3) <= (#tokens("Node12HasAskedItsLeafSetToRx2ToReplaceNode31")))) U ((3) <= (#tokens("Node1HasAskedItsLeafSetToLx3ToReplaceNode16")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-10
  "Automatically generated"
  is:
    A !(!((#tokens("Node30ThinksNode29ShouldBeNodeMasterToReplaceNode28")) <= (#tokens("LeafSetOfLx2IsSentToNode24"))) & (G (((#tokens("Node7HasTheLeafSetOfRx2ToReplaceNode32")) <= (#tokens("Node14HasTheLeafSetOfRx4ToReplaceNode17"))) | ((#tokens("Node25HasTheLeafSetOfLx4ToReplaceNode10")) <= (#tokens("Node7ThinksNode24ShouldBeNodeMasterToReplaceNode14")))) U (G ((3) <= (#tokens("Node29ManageTheCrashOfNode3"))) U G X ((#tokens("Node30ThinksNode29ShouldBeNodeMasterToReplaceNode28")) <= (#tokens("LeafSetOfLx2IsSentToNode24"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-11
  "Automatically generated"
  is:
    A (G ((#tokens("Node1HasTheLeafSetOfLx0ToReplaceNode9")) <= (#tokens("Node0ThinksNode10ShouldBeNodeMasterToReplaceNode11"))) U X (X (((#tokens("Node22HasAskedItsLeafSetToRx3ToReplaceNode17")) <= (#tokens("Node14HasTheLeafSetOfLx2ToReplaceNode0"))) U X ((1) <= (#tokens("Node25HasTheLeafSetOfLx0ToReplaceNode2")))) U ((#tokens("Node28HasTheLeafSetOfRx4ToReplaceNode20")) <= (#tokens("Node2HasTheLeafSetOfLx4ToReplaceNode13")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-12
  "Automatically generated"
  is:
    A F X ((((1) <= (#tokens("Node6ThinksNode13ShouldBeNodeMasterToReplaceNode16"))) U (((#tokens("Node11HasAskedItsLeafSetToRx3ToReplaceNode21")) <= (#tokens("Node2HasAskedItsLeafSetToLx2ToReplaceNode3"))) | ((2) <= (#tokens("Node21HasDetectedCrashOfNode17"))))) | F (F ((#tokens("Node11HasAskedItsLeafSetToRx3ToReplaceNode21")) <= (#tokens("Node2HasAskedItsLeafSetToLx2ToReplaceNode3"))) U ((#tokens("Node29ThinksNode28ShouldBeNodeMasterToReplaceNode25")) <= (#tokens("Node7HasAskedItsLeafSetToRx4ToReplaceNode23")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-13
  "Automatically generated"
  is:
    A (F ((3) <= (#tokens("Node8HasTheLeafSetOfRx2ToReplaceNode29"))) | !(((#tokens("Node10HasTheLeafSetOfLx0ToReplaceNode5")) <= (#tokens("Node1ThinksNode3ShouldBeNodeMasterToReplaceNode13"))) & F !(((#tokens("Node10HasTheLeafSetOfLx0ToReplaceNode5")) <= (#tokens("Node1ThinksNode3ShouldBeNodeMasterToReplaceNode13"))) | ((#tokens("Node19HasAskedItsLeafSetToLx0ToReplaceNode2")) <= (#tokens("Node31NotifyThatHeIsActive"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-14
  "Automatically generated"
  is:
    A !X F ((#tokens("Node7HasTheLeafSetOfLx0ToReplaceNode13")) <= (#tokens("Node20WantsToManageTheCrashOfNode24")))
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-LTLCardinality-15
  "Automatically generated"
  is:
    A (F (((1) <= (#tokens("Lx3HasReceivedTheRequestOfNode21"))) U X (X ((#tokens("Node12HasAskedItsLeafSetToLx0ToReplaceNode7")) <= (#tokens("Node4HasTheLeafSetOfLx0ToReplaceNode13"))) U ((#tokens("Node29ThinksNode28ShouldBeNodeMasterToReplaceNode25")) <= (#tokens("Node10HasTheLeafSetOfLx5ToReplaceNode1"))))) | G X ((#tokens("Node26HasTheLeafSetOfLx5ToReplaceNode3")) <= (#tokens("Node25ManageTheCrashOfNode15"))))
  end.
