Property MultiCrashLeafsetExtension-PT-S32C04-00
  "Automatically generated"
  is:
    A ((X ((#tokens("Node2ThinksNode9ShouldBeNodeMasterToReplaceNode10")) <= (#tokens("Node25WantsToManageTheCrashOfNode28"))) U (((1) <= (#tokens("Node25HasAskedItsLeafSetToRx1ToReplaceNode30"))) & ((3) <= (#tokens("Node23HasAskedItsLeafSetToLx1ToReplaceNode7"))))) | X (G ((1) <= (#tokens("Node25HasAskedItsLeafSetToRx1ToReplaceNode30"))) | G ((3) <= (#tokens("Node23HasAskedItsLeafSetToLx1ToReplaceNode7")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-01
  "Automatically generated"
  is:
    A G (G ((#tokens("Node29HasAskedItsLeafSetToRx2ToReplaceNode22")) <= (#tokens("Node24ThinksNode20ShouldBeNodeMasterToReplaceNode14"))) U F (G ((1) <= (#tokens("Node32NotifyThatHeIsActive"))) & X X ((2) <= (#tokens("Node0HasAskedItsLeafSetToRx1ToReplaceNode17"))) & (((2) <= (#tokens("Node22HasTheLeafSetOfRx0ToReplaceNode19"))) U ((#tokens("Node29HasAskedItsLeafSetToRx2ToReplaceNode22")) <= (#tokens("Node24ThinksNode20ShouldBeNodeMasterToReplaceNode14"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-02
  "Automatically generated"
  is:
    A (((((1) <= (#tokens("Node31ThinksNode23ShouldBeNodeMasterToReplaceNode22"))) | !(((3) <= (#tokens("Node9ManageTheCrashOfNode24"))) & X X F ((1) <= (#tokens("Node31ThinksNode23ShouldBeNodeMasterToReplaceNode22"))))) U ((1) <= (#tokens("Node5HasAskedItsLeafSetToLx3ToReplaceNode9")))) U ((3) <= (#tokens("Node26HasTheLeafSetOfLx1ToReplaceNode2"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-03
  "Automatically generated"
  is:
    A G X G F X (F ((#tokens("Node11ManageTheCrashOfNode3")) <= (#tokens("Node4WantsToManageTheCrashOfNode14"))) U (((1) <= (#tokens("Node20HasAskedItsLeafSetToRx0ToReplaceNode32"))) & ((#tokens("Node11ManageTheCrashOfNode3")) <= (#tokens("Node4WantsToManageTheCrashOfNode14")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-04
  "Automatically generated"
  is:
    A X (((#tokens("Node31HasAskedItsLeafSetToLx3ToReplaceNode6")) <= (#tokens("Node6ThinksNode25ShouldBeNodeMasterToReplaceNode19"))) & (X (G ((#tokens("Node20ThinksNode14ShouldBeNodeMasterToReplaceNode17")) <= (#tokens("Node30HasAskedItsLeafSetToRx0ToReplaceNode32"))) | X (((1) <= (#tokens("Node1WantsToManageTheCrashOfNode6"))) & ((#tokens("Rx1HasReceivedTheRequestOfNode11")) <= (#tokens("Node2HasTheLeafSetOfLx1ToReplaceNode12"))))) U ((#tokens("Rx1HasReceivedTheRequestOfNode11")) <= (#tokens("Node2HasTheLeafSetOfLx1ToReplaceNode12")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-05
  "Automatically generated"
  is:
    A F !(F G ((#tokens("Node7HasTheLeafSetOfRx3ToReplaceNode17")) <= (#tokens("Node5HasTheLeafSetOfLx1ToReplaceNode1"))) U !((#tokens("Node14HasTheLeafSetOfRx0ToReplaceNode26")) <= (#tokens("Node9ThinksNode12ShouldBeNodeMasterToReplaceNode16"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-06
  "Automatically generated"
  is:
    A !(((#tokens("Node26HasDetectedCrashOfNode25")) <= (#tokens("Node31HasAskedItsLeafSetToRx1ToReplaceNode27"))) | (F ((#tokens("Node26HasDetectedCrashOfNode25")) <= (#tokens("Node31HasAskedItsLeafSetToRx1ToReplaceNode27"))) & X F (((0) <= (#tokens("Node23HasDetectedCrashOfNode9"))) | X ((#tokens("Node17WantsToManageTheCrashOfNode24")) <= (#tokens("Node9WantsToManageTheCrashOfNode4"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-07
  "Automatically generated"
  is:
    A F !(F ((#tokens("Node27HasAskedItsLeafSetToRx3ToReplaceNode24")) <= (#tokens("Node27HasTheLeafSetOfLx0ToReplaceNode7"))) | !G !((2) <= (#tokens("Node27HasTheLeafSetOfLx3ToReplaceNode6"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-08
  "Automatically generated"
  is:
    A X X !(((#tokens("Node24HasTheLeafSetOfLx0ToReplaceNode10")) <= (#tokens("Node5ThinksNode26ShouldBeNodeMasterToReplaceNode11"))) U X ((((3) <= (#tokens("Node0HasAskedItsLeafSetToLx0ToReplaceNode5"))) & ((#tokens("Node20HasTheLeafSetOfRx1ToReplaceNode24")) <= (#tokens("Node22HasTheLeafSetOfRx0ToReplaceNode31")))) | X (((#tokens("Node20HasTheLeafSetOfRx1ToReplaceNode24")) <= (#tokens("Node22HasTheLeafSetOfRx0ToReplaceNode31"))) & X ((#tokens("Node24HasTheLeafSetOfLx0ToReplaceNode10")) <= (#tokens("Node5ThinksNode26ShouldBeNodeMasterToReplaceNode11"))))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-09
  "Automatically generated"
  is:
    A (G (!((#tokens("Node0ThinksNode4ShouldBeNodeMasterToReplaceNode28")) <= (#tokens("Node27ManageTheCrashOfNode18"))) | G (((0) <= (#tokens("Node8HasAskedItsLeafSetToLx1ToReplaceNode15"))) U ((#tokens("Node9HasDetectedCrashOfNode23")) <= (#tokens("Node13HasAskedItsLeafSetToRx2ToReplaceNode17"))))) U F (F ((#tokens("Node9HasDetectedCrashOfNode23")) <= (#tokens("Node13HasAskedItsLeafSetToRx2ToReplaceNode17"))) | X ((#tokens("Node0ThinksNode4ShouldBeNodeMasterToReplaceNode28")) <= (#tokens("Node27ManageTheCrashOfNode18")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-10
  "Automatically generated"
  is:
    A !(((0) <= (#tokens("Node6HasAskedItsLeafSetToRx2ToReplaceNode17"))) & G ((0) <= (#tokens("Node6HasAskedItsLeafSetToRx2ToReplaceNode17"))) & G (X (((#tokens("Node23HasAskedItsLeafSetToRx1ToReplaceNode28")) <= (#tokens("Node30ThinksNode13ShouldBeNodeMasterToReplaceNode17"))) | !((0) <= (#tokens("Node6HasAskedItsLeafSetToRx2ToReplaceNode17")))) U ((2) <= (#tokens("Node3HasAskedItsLeafSetToRx0ToReplaceNode17")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-11
  "Automatically generated"
  is:
    A ((((#tokens("Node3ThinksNode6ShouldBeNodeMasterToReplaceNode16")) <= (#tokens("Node25ManageTheCrashOfNode21"))) | F X ((0) <= (#tokens("Node1ThinksNode30ShouldBeNodeMasterToReplaceNode9")))) U X ((0) <= (#tokens("Node1ThinksNode30ShouldBeNodeMasterToReplaceNode9"))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-12
  "Automatically generated"
  is:
    A (X (X ((#tokens("Node2HasTheLeafSetOfRx1ToReplaceNode22")) <= (#tokens("Node31ThinksNode29ShouldBeNodeMasterToReplaceNode25"))) U ((1) <= (#tokens("Node20WantsToManageTheCrashOfNode18")))) & (((#tokens("Node11HasTheLeafSetOfRx1ToReplaceNode23")) <= (#tokens("Node5HasDetectedCrashOfNode31"))) U ((1) <= (#tokens("Node28HasTheLeafSetOfLx3ToReplaceNode13")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-13
  "Automatically generated"
  is:
    A G !((#tokens("Node30ThinksNode27ShouldBeNodeMasterToReplaceNode16")) <= (#tokens("Node8ThinksNode21ShouldBeNodeMasterToReplaceNode17")))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-14
  "Automatically generated"
  is:
    A F G ((((1) <= (#tokens("Node0HasTheLeafSetOfLx0ToReplaceNode13"))) & (((1) <= (#tokens("Node0HasTheLeafSetOfLx0ToReplaceNode13"))) | G ((3) <= (#tokens("Node14ManageTheCrashOfNode29"))))) U (((#tokens("Node27HasAskedItsLeafSetToRx1ToReplaceNode31")) <= (#tokens("Node0HasTheLeafSetOfRx0ToReplaceNode32"))) & G ((#tokens("Node27HasAskedItsLeafSetToRx1ToReplaceNode31")) <= (#tokens("Node0HasTheLeafSetOfRx0ToReplaceNode32")))))
  end.
Property MultiCrashLeafsetExtension-PT-S32C04-15
  "Automatically generated"
  is:
    A !F (((1) <= (#tokens("Node29HasTheLeafSetOfLx1ToReplaceNode4"))) | ((2) <= (#tokens("Node32ThinksNode23ShouldBeNodeMasterToReplaceNode12"))) | G ((3) <= (#tokens("Node4HasAskedItsLeafSetToLx1ToReplaceNode5"))))
  end.
