Property gen-UpperBounds-00
  "Automatically generated"
  is:
    bound("Node40WantsToManageTheBreakDownOfNode33")
  end.
Property gen-UpperBounds-01
  "Automatically generated"
  is:
    bound("Node51HasTheLeafSetOfRxToReplaceNode37")
  end.
Property gen-UpperBounds-02
  "Automatically generated"
  is:
    bound("Node11HasTheLeafSetOfRxToReplaceNode54")
  end.
Property gen-UpperBounds-03
  "Automatically generated"
  is:
    bound("Node45HasTheLeafSetOfRxToReplaceNode56")
  end.
Property gen-UpperBounds-04
  "Automatically generated"
  is:
    bound("Node49HasTheLeafSetOfLxToReplaceNode8")
  end.
Property gen-UpperBounds-05
  "Automatically generated"
  is:
    bound("Node14WantsToManageTheBreakDownOfNode2")
  end.
Property gen-UpperBounds-06
  "Automatically generated"
  is:
    bound("Node58FailureProcessedByNode5")
  end.
Property gen-UpperBounds-07
  "Automatically generated"
  is:
    bound("Node26WantsToManageTheBreakDownOfNode37")
  end.
Property gen-UpperBounds-08
  "Automatically generated"
  is:
    bound("Node47HasAskedItsLeafSetToLxToReplaceNode3")
  end.
Property gen-UpperBounds-09
  "Automatically generated"
  is:
    bound("Node33ManageTheBreakDownOfNode16")
  end.
Property gen-UpperBounds-10
  "Automatically generated"
  is:
    bound("Node10HasAskedItsLeafSetToRxToReplaceNode47")
  end.
Property gen-UpperBounds-11
  "Automatically generated"
  is:
    bound("Node60HasAskedItsLeafSetToRxToReplaceNode48")
  end.
Property gen-UpperBounds-12
  "Automatically generated"
  is:
    bound("Node46FailureProcessedByNode20")
  end.
Property gen-UpperBounds-13
  "Automatically generated"
  is:
    bound("Node58HasAskedItsLeafSetToRxToReplaceNode42")
  end.
Property gen-UpperBounds-14
  "Automatically generated"
  is:
    bound("Node54ManageTheBreakDownOfNode18")
  end.
Property gen-UpperBounds-15
  "Automatically generated"
  is:
    bound("Node38WantsToManageTheBreakDownOfNode40")
  end.
