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