Process:
	N
States:
	2
Transitions:
	N = Q0,
	Q0	= (supplyN -> Q0
		  |consumeN -> Q1),
	Q1	= (consumeN -> ERROR
		  |supplyN -> Q0).
