digraph G
{
0  [label = "0, #, #, #"];
1  [label = "1, #, #, #"];
2  [label = "2, #, #, #"];
3  [label = "3, #, 9, #"];
4  [label = "4, #, 9, 8"];
5  [label = "5, 3, 9, 8"];
12 [label = "5, 3, 9, 8"];
13 [label = "5, 3, 9, 8"];
14 [label = "5, 3, 9, 8"];
19 [label = "5, 3, 9, 8"];

0 -> 1 [label = "int x"];
1 -> 2 [label = "int y"];
2 -> 3 [label = "x = 9"];
3 -> 4 [label = "y = 8"];
4 -> 5 [label = "h = 3"];
5 -> 12 [label = "!(x < 3)"];
12 -> 13 [label = "(x > 5)"];
13 -> 14 [label = "(h > 0)"];
14 -> 19 [label = "break"];
19 -> 19;
}