Process:
	G
States:
	2
Transitions:
	G = Q0,
	Q0	= (supplyG -> Q0
		  |consumeG -> Q1),
	Q1	= (consumeG -> ERROR
		  |supplyG -> Q0).
