Process:
	A
States:
	2
Transitions:
	A = Q0,
	Q0	= (supplyA -> Q0
		  |consumeA -> Q1),
	Q1	= (consumeA -> ERROR
		  |supplyA -> Q0).
