Property gen-UpperBounds-00
  "Automatically generated"
  is:
    bound("Node0ThinksNode21ShouldBeNodeMasterToReplaceNode13")
  end.
Property gen-UpperBounds-01
  "Automatically generated"
  is:
    bound("Node0ThinksNode29ShouldBeNodeMasterToReplaceNode8")
  end.
Property gen-UpperBounds-02
  "Automatically generated"
  is:
    bound("Node25HasAskedItsLeafSetToRx0ToReplaceNode23")
  end.
Property gen-UpperBounds-03
  "Automatically generated"
  is:
    bound("Node24HasAskedItsLeafSetToLx0ToReplaceNode1")
  end.
Property gen-UpperBounds-04
  "Automatically generated"
  is:
    bound("Node31ThinksNode7ShouldBeNodeMasterToReplaceNode11")
  end.
Property gen-UpperBounds-05
  "Automatically generated"
  is:
    bound("Node26HasDetectedCrashOfNode10")
  end.
Property gen-UpperBounds-06
  "Automatically generated"
  is:
    bound("Node32HasAskedItsLeafSetToLx2ToReplaceNode5")
  end.
Property gen-UpperBounds-07
  "Automatically generated"
  is:
    bound("Node18HasAskedItsLeafSetToRx1ToReplaceNode19")
  end.
Property gen-UpperBounds-08
  "Automatically generated"
  is:
    bound("Node2WantsToManageTheCrashOfNode9")
  end.
Property gen-UpperBounds-09
  "Automatically generated"
  is:
    bound("Node1ThinksNode28ShouldBeNodeMasterToReplaceNode13")
  end.
Property gen-UpperBounds-10
  "Automatically generated"
  is:
    bound("Node2ThinksNode6ShouldBeNodeMasterToReplaceNode22")
  end.
Property gen-UpperBounds-11
  "Automatically generated"
  is:
    bound("Node31HasAskedItsLeafSetToLx2ToReplaceNode3")
  end.
Property gen-UpperBounds-12
  "Automatically generated"
  is:
    bound("Node30WantsToManageTheCrashOfNode31")
  end.
Property gen-UpperBounds-13
  "Automatically generated"
  is:
    bound("Node0HasAskedItsLeafSetToRx1ToReplaceNode24")
  end.
Property gen-UpperBounds-14
  "Automatically generated"
  is:
    bound("Node15ManageTheCrashOfNode23")
  end.
Property gen-UpperBounds-15
  "Automatically generated"
  is:
    bound("Node5ThinksNode20ShouldBeNodeMasterToReplaceNode13")
  end.
