Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-00
  "Automatically generated"
  is:
    A G X X ((((#tokens("LeafSetOfRx2IsSentToNode28")) <= (#tokens("Node7ThinksNode9ShouldBeNodeMasterToReplaceNode21"))) & ((#tokens("Node6HasTheLeafSetOfRx4ToReplaceNode19")) <= (#tokens("Node5ManageTheCrashOfNode26")))) U X X (((#tokens("Node6HasTheLeafSetOfRx4ToReplaceNode19")) <= (#tokens("Node5ManageTheCrashOfNode26"))) U X ((#tokens("Node6HasTheLeafSetOfRx4ToReplaceNode19")) <= (#tokens("Node5ManageTheCrashOfNode26")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-01
  "Automatically generated"
  is:
    A (((#tokens("Node19DontAnswerToAnyNode")) <= (#tokens("Node29HasAskedItsLeafSetToRx3ToReplaceNode25"))) | F (F X ((2) <= (#tokens("RequestOfNode15IsSentToLx1"))) U (!X (((#tokens("Node28HasAskedItsLeafSetToRx3ToReplaceNode20")) <= (#tokens("Node19HasTheLeafSetOfRx3ToReplaceNode27"))) & F ((2) <= (#tokens("RequestOfNode15IsSentToLx1")))) U ((#tokens("Node19DontAnswerToAnyNode")) <= (#tokens("Node29HasAskedItsLeafSetToRx3ToReplaceNode25"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-02
  "Automatically generated"
  is:
    A (!G (F ((#tokens("Node22HasTheLeafSetOfRx4ToReplaceNode20")) <= (#tokens("Node6HasAskedItsLeafSetToRx1ToReplaceNode17"))) & X ((#tokens("Node28ThinksNode11ShouldBeNodeMasterToReplaceNode14")) <= (#tokens("Node30HasTheLeafSetOfRx1ToReplaceNode16")))) U ((#tokens("Node28ThinksNode11ShouldBeNodeMasterToReplaceNode14")) <= (#tokens("Node30HasTheLeafSetOfRx1ToReplaceNode16"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-03
  "Automatically generated"
  is:
    A (G ((1) <= (#tokens("Node13HasAskedItsLeafSetToLx4ToReplaceNode4"))) U (F ((1) <= (#tokens("Node2HasAskedItsLeafSetToLx1ToReplaceNode14"))) & X ((1) <= (#tokens("Node2HasAskedItsLeafSetToLx1ToReplaceNode14"))) & (((1) <= (#tokens("Node2HasAskedItsLeafSetToLx1ToReplaceNode14"))) | F ((3) <= (#tokens("Node16HasTheLeafSetOfRx4ToReplaceNode25"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-04
  "Automatically generated"
  is:
    A !(F ((2) <= (#tokens("Node4HasAskedItsLeafSetToRx2ToReplaceNode25"))) U G (G ((#tokens("Node31ThinksNode4ShouldBeNodeMasterToReplaceNode15")) <= (#tokens("Node26ManageTheCrashOfNode24"))) U !X (((2) <= (#tokens("Node4HasAskedItsLeafSetToRx2ToReplaceNode25"))) & F ((#tokens("Node25HasAskedItsLeafSetToRx4ToReplaceNode31")) <= (#tokens("Node3WantsToManageTheCrashOfNode10"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-05
  "Automatically generated"
  is:
    A (F X ((#tokens("Node8HasTheLeafSetOfRx2ToReplaceNode24")) <= (#tokens("Node27HasAskedItsLeafSetToLx3ToReplaceNode5"))) | ((((#tokens("Node8HasTheLeafSetOfRx2ToReplaceNode24")) <= (#tokens("Node27HasAskedItsLeafSetToLx3ToReplaceNode5"))) & F ((2) <= (#tokens("Node7ThinksNode13ShouldBeNodeMasterToReplaceNode15"))) & F ((1) <= (#tokens("Node21NotifyThatHeIsActive")))) U !((1) <= (#tokens("Node21NotifyThatHeIsActive")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-06
  "Automatically generated"
  is:
    A (G X ((1) <= (#tokens("Node26ThinksNode21ShouldBeNodeMasterToReplaceNode15"))) | X (G ((((1) <= (#tokens("Node26ThinksNode21ShouldBeNodeMasterToReplaceNode15"))) U X ((1) <= (#tokens("Node26ThinksNode21ShouldBeNodeMasterToReplaceNode15")))) U !((1) <= (#tokens("Node26ThinksNode21ShouldBeNodeMasterToReplaceNode15")))) U ((#tokens("Node27ManageTheCrashOfNode14")) <= (#tokens("Node14HasTheLeafSetOfLx0ToReplaceNode12")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-07
  "Automatically generated"
  is:
    A X !F X X (((#tokens("Node29ThinksNode20ShouldBeNodeMasterToReplaceNode17")) <= (#tokens("Node23ThinksNode10ShouldBeNodeMasterToReplaceNode14"))) & ((1) <= (#tokens("Node30ManageTheCrashOfNode1"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-08
  "Automatically generated"
  is:
    A G X F !((((1) <= (#tokens("Node17HasTheLeafSetOfRx2ToReplaceNode29"))) & ((2) <= (#tokens("Node31ThinksNode4ShouldBeNodeMasterToReplaceNode13")))) | F ((3) <= (#tokens("Node20HasTheLeafSetOfLx1ToReplaceNode5"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-09
  "Automatically generated"
  is:
    A (F ((1) <= (#tokens("Node14HasTheLeafSetOfLx3ToReplaceNode10"))) U ((((#tokens("Node26HasAskedItsLeafSetToRx4ToReplaceNode24")) <= (#tokens("Node32ThinksNode29ShouldBeNodeMasterToReplaceNode18"))) U ((#tokens("Node15HasTheLeafSetOfLx4ToReplaceNode2")) <= (#tokens("Node12HasAskedItsLeafSetToRx3ToReplaceNode17")))) & !(X ((#tokens("Node15HasTheLeafSetOfLx4ToReplaceNode2")) <= (#tokens("Node12HasAskedItsLeafSetToRx3ToReplaceNode17"))) | X X ((#tokens("Node10ThinksNode21ShouldBeNodeMasterToReplaceNode14")) <= (#tokens("Node32ThinksNode1ShouldBeNodeMasterToReplaceNode11"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-10
  "Automatically generated"
  is:
    A !(X X F !((#tokens("Node3ManageTheCrashOfNode11")) <= (#tokens("Node4HasTheLeafSetOfRx2ToReplaceNode19"))) | !F (((1) <= (#tokens("Node13HasAskedItsLeafSetToRx2ToReplaceNode23"))) | F ((#tokens("Node4HasTheLeafSetOfRx1ToReplaceNode25")) <= (#tokens("Node6HasAskedItsLeafSetToRx3ToReplaceNode17")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-11
  "Automatically generated"
  is:
    A F !(F ((1) <= (#tokens("RequestOfNode24IsSentToRx3"))) | (((2) <= (#tokens("Node22HasTheLeafSetOfRx2ToReplaceNode28"))) U G (((#tokens("Node32ThinksNode23ShouldBeNodeMasterToReplaceNode11")) <= (#tokens("Node19HasTheLeafSetOfRx0ToReplaceNode21"))) U ((1) <= (#tokens("RequestOfNode24IsSentToRx3"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-12
"Automatically generated 2023"
is:
A G !X (X !G ((#tokens("Node28ThinksNode13ShouldBeNodeMasterToReplaceNode19")) <= (#tokens("Node6ThinksNode21ShouldBeNodeMasterToReplaceNode17"))) | (!((#tokens("Node28ThinksNode13ShouldBeNodeMasterToReplaceNode19")) <= (#tokens("Node6ThinksNode21ShouldBeNodeMasterToReplaceNode17"))) & X G X ((3) <= (#tokens("Node16HasTheLeafSetOfRx4ToReplaceNode26")))))
end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-13
"Automatically generated"
is:
A ((!((1) <= (#tokens("Node10HasAskedItsLeafSetToLx4ToReplaceNode3"))) U ((3) <= (#tokens("Node8ManageTheCrashOfNode19")))) & G X G F X ((3) <= (#tokens("Node8ManageTheCrashOfNode19"))))
end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-14
"Automatically generated"
is:
A (G F G !((#tokens("Node2HasAskedItsLeafSetToLx0ToReplaceNode10")) <= (#tokens("Node13HasAskedItsLeafSetToLx3ToReplaceNode8"))) & (X ((2) <= (#tokens("Node2HasDetectedCrashOfNode0"))) U ((2) <= (#tokens("Node2HasDetectedCrashOfNode0")))))
end.
Property MultiCrashLeafsetExtension-PT-S32C05-LTLCardinality-15
"Automatically generated"
is:
A X F (!(((#tokens("Node27HasTheLeafSetOfRx2ToReplaceNode19")) <= (#tokens("Node31HasTheLeafSetOfRx4ToReplaceNode19"))) & ((1) <= (#tokens("Node31ThinksNode29ShouldBeNodeMasterToReplaceNode10")))) | (!((#tokens("Node7ThinksNode11ShouldBeNodeMasterToReplaceNode14")) <= (#tokens("Node16HasTheLeafSetOfLx0ToReplaceNode11"))) & ((#tokens("Node27HasTheLeafSetOfRx2ToReplaceNode19")) <= (#tokens("Node31HasTheLeafSetOfRx4ToReplaceNode19")))))
end.
