Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-00
  "Automatically generated"
  is:
    bound("Node28HasAskedItsLeafSetToRx5ToReplaceNode22")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-01
  "Automatically generated"
  is:
    bound("Node3ThinksNode26ShouldBeNodeMasterToReplaceNode11")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-02
  "Automatically generated"
  is:
    bound("Node7HasTheLeafSetOfLx4ToReplaceNode8")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-03
  "Automatically generated"
  is:
    bound("Node31HasTheLeafSetOfRx2ToReplaceNode29")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-04
  "Automatically generated"
  is:
    bound("Node29ThinksNode25ShouldBeNodeMasterToReplaceNode14")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-05
  "Automatically generated"
  is:
    bound("Node5ThinksNode25ShouldBeNodeMasterToReplaceNode15")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-06
  "Automatically generated"
  is:
    bound("Node4ThinksNode9ShouldBeNodeMasterToReplaceNode19")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-07
"Automatically generated"
is:
bound("Node5ThinksNode7ShouldBeNodeMasterToReplaceNode16")
end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-08
  "Automatically generated"
  is:
    bound("Node29HasAskedItsLeafSetToLx5ToReplaceNode15")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-09
  "Automatically generated"
  is:
    bound("Node10HasTheLeafSetOfRx3ToReplaceNode18")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-10
"Automatically generated"
is:
bound("Node0ThinksNode22ShouldBeNodeMasterToReplaceNode11")
end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-11
"Automatically generated"
is:
bound("Node4ThinksNode21ShouldBeNodeMasterToReplaceNode15")
end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-12
  "Automatically generated"
  is:
    bound("Node18HasTheLeafSetOfRx1ToReplaceNode16")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-13
  "Automatically generated"
  is:
    bound("Node28HasDetectedCrashOfNode1")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-14
  "Automatically generated"
  is:
    bound("Node0ThinksNode5ShouldBeNodeMasterToReplaceNode10")
  end.
Property MultiCrashLeafsetExtension-PT-S32C06-UpperBounds-15
"Automatically generated"
is:
bound("Node27ThinksNode7ShouldBeNodeMasterToReplaceNode8")
end.
