Property DrinkVendingMachine-PT-10-UpperBounds-00
  "Automatically generated"
  is:
    bound("productSlots_1", "productSlots_3", "productSlots_2", "productSlots_5", "productSlots_4", "productSlots_7", "productSlots_6", "productSlots_9", "productSlots_8", "productSlots_10")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-01
  "Automatically generated"
  is:
    bound("theProducts_2", "theProducts_3", "theProducts_1", "theProducts_6", "theProducts_7", "theProducts_4", "theProducts_5", "theProducts_10", "theProducts_8", "theProducts_9")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-02
  "Automatically generated"
  is:
    bound("theOptions_1", "theOptions_2", "theOptions_3", "theOptions_5", "theOptions_4", "theOptions_7", "theOptions_6", "theOptions_9", "theOptions_8", "theOptions_10")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-03
  "Automatically generated"
  is:
    bound("theOptions_1", "theOptions_2", "theOptions_3", "theOptions_5", "theOptions_4", "theOptions_7", "theOptions_6", "theOptions_9", "theOptions_8", "theOptions_10")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-04
  "Automatically generated"
  is:
    bound("theProducts_2", "theProducts_3", "theProducts_1", "theProducts_6", "theProducts_7", "theProducts_4", "theProducts_5", "theProducts_10", "theProducts_8", "theProducts_9")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-05
  "Automatically generated"
  is:
    bound("optionSlots_1", "optionSlots_2", "optionSlots_3", "optionSlots_4", "optionSlots_5", "optionSlots_6", "optionSlots_7", "optionSlots_8", "optionSlots_9", "optionSlots_10")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-06
  "Automatically generated"
  is:
    bound("ready_3", "ready_2", "ready_5", "ready_4", "ready_1", "ready_11", "ready_10", "ready_13", "ready_12", "ready_7", "ready_6", "ready_9", "ready_8", "ready_20", "ready_21", "ready_18", "ready_19", "ready_16", "ready_17", "ready_14", "ready_15", "ready_28", "ready_29", "ready_26", "ready_27", "ready_24", "ready_25", "ready_22", "ready_23", "ready_37", "ready_36", "ready_35", "ready_34", "ready_33", "ready_32", "ready_31", "ready_30", "ready_40", "ready_39", "ready_38")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-07
  "Automatically generated"
  is:
    bound("ready_3", "ready_2", "ready_5", "ready_4", "ready_1", "ready_11", "ready_10", "ready_13", "ready_12", "ready_7", "ready_6", "ready_9", "ready_8", "ready_20", "ready_21", "ready_18", "ready_19", "ready_16", "ready_17", "ready_14", "ready_15", "ready_28", "ready_29", "ready_26", "ready_27", "ready_24", "ready_25", "ready_22", "ready_23", "ready_37", "ready_36", "ready_35", "ready_34", "ready_33", "ready_32", "ready_31", "ready_30", "ready_40", "ready_39", "ready_38")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-08
  "Automatically generated"
  is:
    bound("productSlots_4")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-09
  "Automatically generated"
  is:
    bound("theProducts_9")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-10
  "Automatically generated"
  is:
    bound("wait_21")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-11
  "Automatically generated"
  is:
    bound("ready_36")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-12
  "Automatically generated"
  is:
    bound("optionSlots_7")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-13
  "Automatically generated"
  is:
    bound("optionSlots_4")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-14
  "Automatically generated"
  is:
    bound("wait_34")
  end.
Property DrinkVendingMachine-PT-10-UpperBounds-15
  "Automatically generated"
  is:
    bound("wait_32")
  end.
