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