Sequence Enumeration: Use Case 3


Exceptions:
None.
Postconditions:
There is no soda left in the machine and the sold out light has come on.