Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-00
"Automatically generated 2023"
is:
bound("Node32ThinksNode26ShouldBeNodeMasterToReplaceNode22")
end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-01
  "Automatically generated"
  is:
    bound("Node17HasTheLeafSetOfRx1ToReplaceNode26")
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-02
"Automatically generated 2023"
is:
bound("Node9HasTheLeafSetOfLx7ToReplaceNode10")
end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-03
"Automatically generated"
is:
bound("Node4HasTheLeafSetOfLx7ToReplaceNode0")
end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-04
  "Automatically generated"
  is:
    bound("Node24ThinksNode11ShouldBeNodeMasterToReplaceNode12")
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-05
"Automatically generated 2023"
is:
bound("Node2ThinksNode4ShouldBeNodeMasterToReplaceNode14")
end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-06
  "Automatically generated"
  is:
    bound("Node0ThinksNode28ShouldBeNodeMasterToReplaceNode16")
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-07
  "Automatically generated"
  is:
    bound("Node15HasAskedItsLeafSetToRx7ToReplaceNode23")
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-08
  "Automatically generated"
  is:
    bound("Node18HasTheLeafSetOfLx7ToReplaceNode10")
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-09
  "Automatically generated"
  is:
    bound("Node19HasAskedItsLeafSetToRx3ToReplaceNode31")
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-10
  "Automatically generated"
  is:
    bound("Node19HasAskedItsLeafSetToRx0ToReplaceNode20")
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-11
  "Automatically generated"
  is:
    bound("Node4HasTheLeafSetOfRx1ToReplaceNode20")
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-12
  "Automatically generated"
  is:
    bound("Node4HasAskedItsLeafSetToRx1ToReplaceNode22")
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-13
  "Automatically generated"
  is:
    bound("Node3HasTheLeafSetOfRx7ToReplaceNode30")
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-14
  "Automatically generated"
  is:
    bound("Node6HasTheLeafSetOfLx7ToReplaceNode11")
  end.
Property MultiCrashLeafsetExtension-PT-S32C08-UpperBounds-15
  "Automatically generated"
  is:
    bound("Node8ThinksNode22ShouldBeNodeMasterToReplaceNode16")
  end.
