0 -> 1
1 -> 2
1 -> 3
2 -> 0  [back edge]
