Process:
	I
States:
	2
Transitions:
	I = Q0,
	Q0	= (supplyI -> Q0
		  |consumeI -> Q1),
	Q1	= (consumeI -> ERROR
		  |supplyI -> Q0).
