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