Process:
	O
States:
	2
Transitions:
	O = Q0,
	Q0	= (supplyO -> Q0
		  |consumeO -> Q1),
	Q1	= (consumeO -> ERROR
		  |supplyO -> Q0).
