Process:
	C
States:
	2
Transitions:
	C = Q0,
	Q0	= (supplyC -> Q0
		  |consumeC -> Q1),
	Q1	= (consumeC -> ERROR
		  |supplyC -> Q0).
