digraph M_1 {
1 [label="1, ?, 9, ?"];
0 [label="0, ?, ?, ?"];
2 [label="1, ?, 9, 2"];
3 [label="3, 0, 9, 2"];
4 [label="4, 0, 9, 2"];
3 -> 4 [label="h = 0;" color="blue"];
5 [label="8, 0, 9, 2"];
6 [label="9, 0, 9, 2"];
7 [label="10, 0, 8, 2"];
8 [label="11, 0, 8, 3"];

0 -> 1 [label="int x, y;" color="blue"];
1 -> 2 [label="x = 9;" color="blue"];
2 -> 3 [label="y = 2;" color="blue"];

4 -> 5 [label="!(x > 9)" color="blue"];
5 -> 6 [label="y > 1" color="blue"];
6 -> 7 [label="x = 8;" color="blue"];
7 -> 8 [label="y = 3;" color="blue"];
8 -> 8 [label="" color="blue"];
}