Process:
	M
States:
	2
Transitions:
	M = Q0,
	Q0	= (supplyM -> Q0
		  |consumeM -> Q1),
	Q1	= (consumeM -> ERROR
		  |supplyM -> Q0).
