digraph F
{
0  [label = "0, #, #, #"];
1  [label = "1, #, #, #"];
2  [label = "2, #, #, #"];
3  [label = "3, #, 6, #"];
4  [label = "4, #, 6, 2"];
5  [label = "5, 2, 6, 2"];
6  [label = "6, 2, 6, 2"];
7  [label = "7, 2, 6, 4"];
8  [label = "8, 2, 6, 4"];
12 [label = "8, 2, 6, 4"];

0 -> 1 [label = "int x"];
1 -> 2 [label = "int y"];
2 -> 3 [label = "x = 6"];
3 -> 4 [label = "y = 2"];
4 -> 5 [label = "h = b"];
5 -> 6 [label = "(x < 9)"];
6 -> 7 [label = "y = 4"];
7 -> 8 [label = "y = 4"];  
8 -> 12 [label = "!(y < 4)"];  
12 -> 12;
}