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