created new head digraph G { -1 -> 0 0 -> 1 0 -> 2 2 -> 3 1 -> 3 }