Process:
	TRANSFER
States:
	2
Transitions:
	TRANSFER = Q0,
	Q0	= (putdown -> ERROR
		  |{pickup, putsuccess} -> Q0
		  |picksuccess -> Q1),
	Q1	= (pickup -> ERROR
		  |putsuccess -> Q0
		  |{picksuccess, putdown} -> Q1).
