coordinator states:

1 -> q0
2 -> q11
3 -> q2
4 -> q3
5 -> q12

6	-> ins nondet	
7	-> rec nondet
8	-> reset fields and back to 1

-------------------------------------------
messages
1   insert
2   notify in
3   remove
4   notify out
--------------------------------------------
		h_2>h_1
t
h_1  32
h_2  22 -ins-> c
c    2  -NO-> h1
h_1  32 (T>Two) 33
