(START) |- 3
3 a 4
4 b 9
9 -| (FINAL)
3 a 9
