Process:
	F
States:
	2
Transitions:
	F = Q0,
	Q0	= (supplyF -> Q0
		  |consumeF -> Q1),
	Q1	= (consumeF -> ERROR
		  |supplyF -> Q0).
