Process:
	B
States:
	2
Transitions:
	B = Q0,
	Q0	= (supplyB -> Q0
		  |consumeB -> Q1),
	Q1	= (consumeB -> ERROR
		  |supplyB -> Q0).
