Property gen-UpperBounds-00
  "Automatically generated"
  is:
    bound("Node9HasTheLeafSetOfLx8ToReplaceNode8")
  end.
Property gen-UpperBounds-01
  "Automatically generated"
  is:
    bound("Node20HasAskedItsLeafSetToRx4ToReplaceNode21")
  end.
Property gen-UpperBounds-02
  "Automatically generated"
  is:
    bound("Node9HasTheLeafSetOfRx2ToReplaceNode19")
  end.
Property gen-UpperBounds-03
  "Automatically generated"
  is:
    bound("Node3HasAskedItsLeafSetToLx8ToReplaceNode7")
  end.
Property gen-UpperBounds-04
  "Automatically generated"
  is:
    bound("Node1ThinksNode2ShouldBeNodeMasterToReplaceNode3")
  end.
Property gen-UpperBounds-05
  "Automatically generated"
  is:
    bound("Node17HasAskedItsLeafSetToRx7ToReplaceNode18")
  end.
Property gen-UpperBounds-06
  "Automatically generated"
  is:
    bound("Node21ManageTheCrashOfNode13")
  end.
Property gen-UpperBounds-07
  "Automatically generated"
  is:
    bound("Node16HasAskedItsLeafSetToLx3ToReplaceNode3")
  end.
Property gen-UpperBounds-08
  "Automatically generated"
  is:
    bound("Node21HasTheLeafSetOfRx3ToReplaceNode19")
  end.
Property gen-UpperBounds-09
  "Automatically generated"
  is:
    bound("Node13HasAskedItsLeafSetToRx7ToReplaceNode20")
  end.
Property gen-UpperBounds-10
  "Automatically generated"
  is:
    bound("Node2HasTheLeafSetOfLx2ToReplaceNode3")
  end.
Property gen-UpperBounds-11
  "Automatically generated"
  is:
    bound("Node23ThinksNode22ShouldBeNodeMasterToReplaceNode9")
  end.
Property gen-UpperBounds-12
  "Automatically generated"
  is:
    bound("Node14HasTheLeafSetOfLx8ToReplaceNode2")
  end.
Property gen-UpperBounds-13
  "Automatically generated"
  is:
    bound("Node2HasAskedItsLeafSetToLx3ToReplaceNode4")
  end.
Property gen-UpperBounds-14
  "Automatically generated"
  is:
    bound("Node12HasAskedItsLeafSetToLx6ToReplaceNode0")
  end.
Property gen-UpperBounds-15
  "Automatically generated"
  is:
    bound("Node24ThinksNode23ShouldBeNodeMasterToReplaceNode18")
  end.
