Process:
	L
States:
	2
Transitions:
	L = Q0,
	Q0	= (supplyL -> Q0
		  |consumeL -> Q1),
	Q1	= (consumeL -> ERROR
		  |supplyL -> Q0).
