Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-00
  "Automatically generated"
  is:
    A F (G ((#tokens("Node9HasTheLeafSetOfLx9ToReplaceNode13")) <= (#tokens("Node11HasAskedItsLeafSetToRx7ToReplaceNode19"))) | (((3) <= (#tokens("RequestOfNode21IsSentToRx0"))) & F ((2) <= (#tokens("Node27HasAskedItsLeafSetToLx4ToReplaceNode4"))) & X X X F X ((1) <= (#tokens("Node22ThinksNode12ShouldBeNodeMasterToReplaceNode13")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-01
  "Automatically generated"
  is:
    A ((F X (((#tokens("RequestOfNode26IsSentToRx5")) <= (#tokens("Node30HasTheLeafSetOfRx5ToReplaceNode22"))) & ((3) <= (#tokens("RequestOfNode11IsSentToLx1")))) U X !((3) <= (#tokens("Node11HasAskedItsLeafSetToLx0ToReplaceNode5")))) U (G ((#tokens("Node23HasTheLeafSetOfRx5ToReplaceNode17")) <= (#tokens("LeafSetOfRx2IsSentToNode21"))) U !((3) <= (#tokens("Node20HasAskedItsLeafSetToLx8ToReplaceNode9")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-02
  "Automatically generated"
  is:
    A G (((#tokens("Node32HasAskedItsLeafSetToLx9ToReplaceNode14")) <= (#tokens("Node28HasAskedItsLeafSetToRx8ToReplaceNode30"))) U (((#tokens("Node32HasAskedItsLeafSetToLx9ToReplaceNode14")) <= (#tokens("Node28HasAskedItsLeafSetToRx8ToReplaceNode30"))) | ((#tokens("RequestOfNode6IsSentToRx6")) <= (#tokens("Node13ManageTheCrashOfNode14")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-03
  "Automatically generated"
  is:
    A (F ((1) <= (#tokens("Node29ThinksNode7ShouldBeNodeMasterToReplaceNode19"))) & G X G ((3) <= (#tokens("Node32HasTheLeafSetOfLx1ToReplaceNode10"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-04
  "Automatically generated"
  is:
    A G !X G !((#tokens("Node9ThinksNode22ShouldBeNodeMasterToReplaceNode17")) <= (#tokens("Node30HasTheLeafSetOfRx7ToReplaceNode28")))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-05
  "Automatically generated"
  is:
    A G (X X X (((#tokens("Node13HasAskedItsLeafSetToRx0ToReplaceNode18")) <= (#tokens("Node1ThinksNode9ShouldBeNodeMasterToReplaceNode18"))) | ((#tokens("Lx2HasReceivedTheRequestOfNode15")) <= (#tokens("Node2ThinksNode29ShouldBeNodeMasterToReplaceNode5")))) U (((#tokens("Node32HasAskedItsLeafSetToLx5ToReplaceNode6")) <= (#tokens("Node26HasTheLeafSetOfLx7ToReplaceNode14"))) & X (((#tokens("Node13HasAskedItsLeafSetToRx0ToReplaceNode18")) <= (#tokens("Node1ThinksNode9ShouldBeNodeMasterToReplaceNode18"))) | G ((#tokens("Node16HasAskedItsLeafSetToRx10ToReplaceNode18")) <= (#tokens("Node10HasTheLeafSetOfLx9ToReplaceNode8"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-06
  "Automatically generated"
  is:
    A G (X X X (((3) <= (#tokens("Node5HasAskedItsLeafSetToRx8ToReplaceNode32"))) & ((#tokens("Node19HasAskedItsLeafSetToRx5ToReplaceNode24")) <= (#tokens("Node28HasTheLeafSetOfRx6ToReplaceNode30")))) | (X ((1) <= (#tokens("Node10HasTheLeafSetOfLx5ToReplaceNode8"))) & (((#tokens("Node19HasAskedItsLeafSetToRx5ToReplaceNode24")) <= (#tokens("Node28HasTheLeafSetOfRx6ToReplaceNode30"))) U ((3) <= (#tokens("Node5HasAskedItsLeafSetToRx8ToReplaceNode32"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-07
  "Automatically generated"
  is:
    A ((((#tokens("Node18HasAskedItsLeafSetToRx5ToReplaceNode30")) <= (#tokens("Node27HasTheLeafSetOfLx5ToReplaceNode14"))) U X ((1) <= (#tokens("LeafSetOfRx4IsSentToNode24")))) | (((#tokens("Node18HasAskedItsLeafSetToRx5ToReplaceNode30")) <= (#tokens("Node27HasTheLeafSetOfLx5ToReplaceNode14"))) & F G !F (((#tokens("Node9HasAskedItsLeafSetToRx2ToReplaceNode30")) <= (#tokens("Node22ThinksNode11ShouldBeNodeMasterToReplaceNode16"))) & ((#tokens("Node4HasAskedItsLeafSetToRx0ToReplaceNode24")) <= (#tokens("Node8WantsToManageTheCrashOfNode0"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-08
  "Automatically generated"
  is:
    A X (G ((2) <= (#tokens("Node4HasAskedItsLeafSetToLx3ToReplaceNode5"))) | (F ((#tokens("Node11HasAskedItsLeafSetToLx9ToReplaceNode6")) <= (#tokens("Node2ManageTheCrashOfNode3"))) & G ((3) <= (#tokens("Node24HasAskedItsLeafSetToLx7ToReplaceNode15")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-09
  "Automatically generated"
  is:
    A X (G (((3) <= (#tokens("Node30HasDetectedCrashOfNode20"))) & ((1) <= (#tokens("Node9HasAskedItsLeafSetToRx5ToReplaceNode32")))) | (((#tokens("Node19HasTheLeafSetOfLx7ToReplaceNode10")) <= (#tokens("Node29HasAskedItsLeafSetToRx8ToReplaceNode26"))) U ((1) <= (#tokens("Node5HasTheLeafSetOfRx7ToReplaceNode17")))) | G (((#tokens("Node19HasTheLeafSetOfLx7ToReplaceNode10")) <= (#tokens("Node29HasAskedItsLeafSetToRx8ToReplaceNode26"))) | ((3) <= (#tokens("Node12HasDetectedCrashOfNode31")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-10
  "Automatically generated"
  is:
    A (G X ((1) <= (#tokens("Node8HasAskedItsLeafSetToLx6ToReplaceNode4"))) & ((((2) <= (#tokens("Node10HasAskedItsLeafSetToRx8ToReplaceNode20"))) & G ((2) <= (#tokens("Node21HasTheLeafSetOfLx9ToReplaceNode15")))) U ((1) <= (#tokens("Node8HasAskedItsLeafSetToLx6ToReplaceNode4")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-11
  "Automatically generated"
  is:
    A ((((#tokens("Node17HasAskedItsLeafSetToRx7ToReplaceNode27")) <= (#tokens("Node0HasTheLeafSetOfRx4ToReplaceNode30"))) & G (G ((1) <= (#tokens("Node1HasAskedItsLeafSetToLx4ToReplaceNode3"))) & (((2) <= (#tokens("Node4HasTheLeafSetOfLx5ToReplaceNode13"))) | F ((2) <= (#tokens("Node17HasAskedItsLeafSetToLx0ToReplaceNode11")))))) U F ((2) <= (#tokens("Node17HasAskedItsLeafSetToLx0ToReplaceNode11"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-12
"Automatically generated 2023"
is:
A !(!((#tokens("Node26HasTheLeafSetOfRx8ToReplaceNode23")) <= (#tokens("Node6WantsToManageTheCrashOfNode23"))) | !(((#tokens("Node19HasTheLeafSetOfRx7ToReplaceNode16")) <= (#tokens("Node9HasAskedItsLeafSetToLx3ToReplaceNode16"))) | ((#tokens("Node26HasTheLeafSetOfRx8ToReplaceNode23")) <= (#tokens("Node6WantsToManageTheCrashOfNode23")))) | G F ((1) <= (#tokens("Node2HasTheLeafSetOfLx0ToReplaceNode3"))))
end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-13
"Automatically generated 2023"
is:
A F (F !F X !((2) <= (#tokens("Node3ThinksNode12ShouldBeNodeMasterToReplaceNode13"))) | G (((#tokens("Node27HasAskedItsLeafSetToRx10ToReplaceNode31")) <= (#tokens("Node25ThinksNode13ShouldBeNodeMasterToReplaceNode15"))) & F ((#tokens("Node27HasAskedItsLeafSetToRx10ToReplaceNode31")) <= (#tokens("Node25ThinksNode13ShouldBeNodeMasterToReplaceNode15")))))
end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-14
"Automatically generated"
is:
A (F (!((1) <= (#tokens("Node10HasAskedItsLeafSetToRx1ToReplaceNode25"))) | (X !((#tokens("Rx2HasReceivedTheRequestOfNode28")) <= (#tokens("Node29ThinksNode8ShouldBeNodeMasterToReplaceNode15"))) U ((#tokens("LeafSetOfRx7IsSentToNode6")) <= (#tokens("Node1HasTheLeafSetOfLx5ToReplaceNode6"))))) U (((#tokens("Rx2HasReceivedTheRequestOfNode28")) <= (#tokens("Node29ThinksNode8ShouldBeNodeMasterToReplaceNode15"))) U ((3) <= (#tokens("Node29ThinksNode25ShouldBeNodeMasterToReplaceNode15")))))
end.
Property MultiCrashLeafsetExtension-PT-S32C11-LTLCardinality-15
"Automatically generated"
is:
A (X !X !(((#tokens("Node30ThinksNode25ShouldBeNodeMasterToReplaceNode11")) <= (#tokens("Node30ThinksNode25ShouldBeNodeMasterToReplaceNode8"))) & X X G X ((3) <= (#tokens("Node6HasTheLeafSetOfRx7ToReplaceNode27")))) U ((#tokens("Node13HasAskedItsLeafSetToLx0ToReplaceNode10")) <= (#tokens("Node1HasAskedItsLeafSetToRx7ToReplaceNode29"))))
end.
