Process:
	E
States:
	2
Transitions:
	E = Q0,
	Q0	= (supplyE -> Q0
		  |consumeE -> Q1),
	Q1	= (consumeE -> ERROR
		  |supplyE -> Q0).
