Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-00
  "Automatically generated"
  is:
    bound("Node3ThinksNode4ShouldBeNodeMasterToReplaceNode21")
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-01
  "Automatically generated"
  is:
    bound("Node21ThinksNode14ShouldBeNodeMasterToReplaceNode18")
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-02
  "Automatically generated"
  is:
    bound("Node26WantsToManageTheCrashOfNode6")
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-03
  "Automatically generated"
  is:
    bound("Node28HasTheLeafSetOfLx4ToReplaceNode11")
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-04
  "Automatically generated"
  is:
    bound("Node1WantsToManageTheCrashOfNode0")
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-05
"Automatically generated 2023"
is:
bound("Node29ThinksNode22ShouldBeNodeMasterToReplaceNode20")
end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-06
  "Automatically generated"
  is:
    bound("Node0ThinksNode30ShouldBeNodeMasterToReplaceNode12")
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-07
  "Automatically generated"
  is:
    bound("Node27HasDetectedCrashOfNode26")
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-08
"Automatically generated 2023"
is:
bound("Node0ThinksNode24ShouldBeNodeMasterToReplaceNode12")
end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-09
  "Automatically generated"
  is:
    bound("Node12HasAskedItsLeafSetToLx2ToReplaceNode10")
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-10
"Automatically generated 2023"
is:
bound("Node1ThinksNode3ShouldBeNodeMasterToReplaceNode14")
end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-11
"Automatically generated 2023"
is:
bound("Node27ThinksNode26ShouldBeNodeMasterToReplaceNode15")
end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-12
  "Automatically generated"
  is:
    bound("Rx4IsActiveInTheLeafSet")
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-13
  "Automatically generated"
  is:
    bound("Node30ThinksNode9ShouldBeNodeMasterToReplaceNode22")
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-14
  "Automatically generated"
  is:
    bound("Lx3HasReceivedTheRequestOfNode18")
  end.
Property MultiCrashLeafsetExtension-PT-S32C05-UpperBounds-15
  "Automatically generated"
  is:
    bound("Node4HasAskedItsLeafSetToRx2ToReplaceNode25")
  end.
