Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-00
  "Automatically generated"
  is:
    bound("Node9HasTheLeafSetOfRx4ToReplaceNode26")
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-01
  "Automatically generated"
  is:
    bound("Node3ThinksNode25ShouldBeNodeMasterToReplaceNode18")
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-02
  "Automatically generated"
  is:
    bound("Node20HasAskedItsLeafSetToRx6ToReplaceNode24")
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-03
  "Automatically generated"
  is:
    bound("Node6HasTheLeafSetOfRx0ToReplaceNode27")
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-04
  "Automatically generated"
  is:
    bound("Node12HasTheLeafSetOfRx8ToReplaceNode29")
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-05
  "Automatically generated"
  is:
    bound("Node19HasAskedItsLeafSetToLx1ToReplaceNode4")
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-06
  "Automatically generated"
  is:
    bound("Node4HasTheLeafSetOfRx4ToReplaceNode27")
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-07
  "Automatically generated"
  is:
    bound("Node29HasAskedItsLeafSetToLx2ToReplaceNode11")
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-08
"Automatically generated 2023"
is:
bound("Node25HasTheLeafSetOfLx8ToReplaceNode14")
end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-09
"Automatically generated 2023"
is:
bound("Node1ThinksNode7ShouldBeNodeMasterToReplaceNode13")
end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-10
"Automatically generated"
is:
bound("Node29HasAskedItsLeafSetToLx9ToReplaceNode9")
end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-11
  "Automatically generated"
  is:
    bound("Node6HasTheLeafSetOfRx7ToReplaceNode30")
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-12
"Automatically generated"
is:
bound("Node31ThinksNode18ShouldBeNodeMasterToReplaceNode14")
end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-13
  "Automatically generated"
  is:
    bound("Node21HasAskedItsLeafSetToLx3ToReplaceNode10")
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-14
  "Automatically generated"
  is:
    bound("Node4ThinksNode27ShouldBeNodeMasterToReplaceNode13")
  end.
Property MultiCrashLeafsetExtension-PT-S32C11-UpperBounds-15
  "Automatically generated"
  is:
    bound("Node27HasAskedItsLeafSetToRx7ToReplaceNode28")
  end.
