Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-00
  "Automatically generated"
  is:
    A X X (((3) <= (#tokens("LeafSetOfRx4IsSentToNode26"))) | G ((#tokens("Node31ThinksNode2ShouldBeNodeMasterToReplaceNode3")) <= (#tokens("Node0ThinksNode31ShouldBeNodeMasterToReplaceNode30"))) | G !((2) <= (#tokens("Node5ManageTheCrashOfNode24"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-01
  "Automatically generated"
  is:
    A ((((#tokens("Node5HasTheLeafSetOfRx1ToReplaceNode31")) <= (#tokens("Node10HasTheLeafSetOfRx1ToReplaceNode20"))) U ((#tokens("Node29ThinksNode4ShouldBeNodeMasterToReplaceNode7")) <= (#tokens("Node21HasTheLeafSetOfLx2ToReplaceNode3")))) & F (X X ((#tokens("Node25HasTheLeafSetOfLx4ToReplaceNode4")) <= (#tokens("Node0ThinksNode9ShouldBeNodeMasterToReplaceNode11"))) & !G ((#tokens("Node5HasTheLeafSetOfRx1ToReplaceNode31")) <= (#tokens("Node10HasTheLeafSetOfRx1ToReplaceNode20")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-02
  "Automatically generated"
  is:
    A X X !F !((1) <= (#tokens("Node1HasAskedItsLeafSetToRx4ToReplaceNode27")))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-03
  "Automatically generated"
  is:
    A (G ((3) <= (#tokens("Node16HasAskedItsLeafSetToRx6ToReplaceNode27"))) U ((((#tokens("Node17HasAskedItsLeafSetToRx4ToReplaceNode28")) <= (#tokens("Node31HasTheLeafSetOfRx3ToReplaceNode17"))) U ((#tokens("Node0HasTheLeafSetOfLx7ToReplaceNode7")) <= (#tokens("Node19ManageTheCrashOfNode6")))) | X F X ((3) <= (#tokens("Node16HasAskedItsLeafSetToRx6ToReplaceNode27")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-04
  "Automatically generated"
  is:
    A G F (X ((#tokens("Node8HasAskedItsLeafSetToLx2ToReplaceNode0")) <= (#tokens("Node24HasAskedItsLeafSetToLx6ToReplaceNode8"))) U !X (!((#tokens("Node0HasAskedItsLeafSetToLx6ToReplaceNode8")) <= (#tokens("Node12HasTheLeafSetOfRx0ToReplaceNode27"))) U !((#tokens("Node8HasAskedItsLeafSetToLx2ToReplaceNode0")) <= (#tokens("Node24HasAskedItsLeafSetToLx6ToReplaceNode8")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-05
  "Automatically generated"
  is:
    A F (G (X (!((3) <= (#tokens("Node12HasTheLeafSetOfRx3ToReplaceNode24"))) | ((2) <= (#tokens("Node17HasAskedItsLeafSetToRx4ToReplaceNode16")))) U ((3) <= (#tokens("Node11HasTheLeafSetOfRx6ToReplaceNode26")))) & X X X !((2) <= (#tokens("Node17HasAskedItsLeafSetToRx4ToReplaceNode16"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-06
  "Automatically generated"
  is:
    A G (!((#tokens("Node14HasTheLeafSetOfRx5ToReplaceNode25")) <= (#tokens("Lx3HasReceivedTheRequestOfNode7"))) & !(((#tokens("Node8ThinksNode11ShouldBeNodeMasterToReplaceNode20")) <= (#tokens("Node10HasAskedItsLeafSetToRx2ToReplaceNode32"))) | G (((2) <= (#tokens("Node29HasAskedItsLeafSetToRx2ToReplaceNode26"))) & G ((2) <= (#tokens("Node11HasAskedItsLeafSetToRx5ToReplaceNode17"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-07
  "Automatically generated"
  is:
    A (F (F ((#tokens("Node2HasTheLeafSetOfLx2ToReplaceNode10")) <= (#tokens("Node23HasTheLeafSetOfRx5ToReplaceNode30"))) U ((#tokens("Node30HasTheLeafSetOfRx4ToReplaceNode24")) <= (#tokens("Node4ThinksNode5ShouldBeNodeMasterToReplaceNode17")))) & G (((#tokens("Node31ThinksNode27ShouldBeNodeMasterToReplaceNode20")) <= (#tokens("Node14WantsToManageTheCrashOfNode29"))) & !((#tokens("Node14HasTheLeafSetOfRx2ToReplaceNode27")) <= (#tokens("Node24HasAskedItsLeafSetToRx1ToReplaceNode27")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-08
  "Automatically generated"
  is:
    A F G X ((#tokens("Node12HasTheLeafSetOfRx5ToReplaceNode26")) <= (#tokens("Node13HasAskedItsLeafSetToRx5ToReplaceNode27")))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-09
  "Automatically generated"
  is:
    A (!((1) <= (#tokens("Node29HasTheLeafSetOfRx5ToReplaceNode25"))) | (!(((#tokens("Node7HasAskedItsLeafSetToLx6ToReplaceNode14")) <= (#tokens("Node30HasAskedItsLeafSetToLx7ToReplaceNode3"))) U G ((2) <= (#tokens("Node8HasTheLeafSetOfRx6ToReplaceNode18")))) U (((2) <= (#tokens("Node0HasTheLeafSetOfLx2ToReplaceNode15"))) | (G ((#tokens("Node7HasAskedItsLeafSetToLx6ToReplaceNode14")) <= (#tokens("Node30HasAskedItsLeafSetToLx7ToReplaceNode3"))) U ((2) <= (#tokens("Node9HasAskedItsLeafSetToLx1ToReplaceNode14")))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-10
  "Automatically generated"
  is:
    A (((#tokens("Node30HasTheLeafSetOfLx6ToReplaceNode11")) <= (#tokens("Node21HasTheLeafSetOfRx7ToReplaceNode30"))) | (G ((#tokens("Node18HasAskedItsLeafSetToRx7ToReplaceNode23")) <= (#tokens("Node2ThinksNode22ShouldBeNodeMasterToReplaceNode14"))) U G ((3) <= (#tokens("Node14HasTheLeafSetOfRx7ToReplaceNode32")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-11
  "Automatically generated"
  is:
    A X X ((G ((#tokens("Node11HasTheLeafSetOfRx3ToReplaceNode18")) <= (#tokens("Node18HasDetectedCrashOfNode17"))) U !X !((#tokens("Node30ThinksNode22ShouldBeNodeMasterToReplaceNode11")) <= (#tokens("Node20HasAskedItsLeafSetToLx2ToReplaceNode0")))) & (((#tokens("Node11HasTheLeafSetOfRx3ToReplaceNode18")) <= (#tokens("Node18HasDetectedCrashOfNode17"))) U ((#tokens("Node8HasTheLeafSetOfLx3ToReplaceNode14")) <= (#tokens("Node28HasTheLeafSetOfLx4ToReplaceNode6")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-12
"Automatically generated"
is:
A X G ((3) <= (#tokens("Node22HasTheLeafSetOfLx6ToReplaceNode14")))
end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-13
"Automatically generated"
is:
A X !G (((#tokens("Node16HasTheLeafSetOfRx7ToReplaceNode22")) <= (#tokens("Node29HasTheLeafSetOfRx0ToReplaceNode17"))) | !((#tokens("Node29ThinksNode22ShouldBeNodeMasterToReplaceNode21")) <= (#tokens("Node21HasTheLeafSetOfLx5ToReplaceNode2"))))
end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-14
"Automatically generated"
is:
A ((((#tokens("Node3HasAskedItsLeafSetToLx0ToReplaceNode11")) <= (#tokens("Lx1HasReceivedTheRequestOfNode21"))) & ((3) <= (#tokens("Node14HasAskedItsLeafSetToLx4ToReplaceNode10"))) & (((#tokens("Node22HasAskedItsLeafSetToLx2ToReplaceNode10")) <= (#tokens("Node29HasAskedItsLeafSetToLx4ToReplaceNode7"))) U ((#tokens("Node3HasAskedItsLeafSetToLx0ToReplaceNode11")) <= (#tokens("Lx1HasReceivedTheRequestOfNode21"))))) U ((3) <= (#tokens("Node25HasAskedItsLeafSetToLx7ToReplaceNode1"))))
end.
Property MultiCrashLeafsetExtension-PT-S32C08-LTLCardinality-15
"Automatically generated"
is:
A F !G !X G (G (((#tokens("Rx1HasReceivedTheRequestOfNode20")) <= (#tokens("Node29HasDetectedCrashOfNode27"))) U ((3) <= (#tokens("Node11HasAskedItsLeafSetToRx6ToReplaceNode32")))) & F ((#tokens("Rx1HasReceivedTheRequestOfNode20")) <= (#tokens("Node29HasDetectedCrashOfNode27"))))
end.
