(START) |- 1
1 a 2
2 b 0
0 -| (FINAL)
