digraph CFG {
  node [fontname="Helvetica"];
  n359 [label="START", shape=ellipse, style=filled, color=gray];
  n359 -> n382;
  n382 [label="10", shape=box];
  n382 -> n383;
  n383 [label="8", shape=box];
  n383 -> n384;
  n384 [label="CALL func", shape=box, style=filled, color=orange];
  n384 -> n361;
  n384 -> n386;
  n361 [label="START func(a, b)", shape=ellipse, style=filled, color=green];
  n361 -> n364;
  n364 [label="a", shape=box];
  n364 -> n365;
  n365 [label="0", shape=box];
  n365 -> n366;
  n366 [label="a > 0", shape=box];
  n366 -> n367;
  n367 [label="b", shape=box];
  n367 -> n368;
  n368 [label="a", shape=box];
  n368 -> n369;
  n369 [label="b != a", shape=box];
  n369 -> n370;
  n370 [label="(a > 0) && (b != a)", shape=box];
  n370 -> n371;
  n371 [label="<?>", shape=diamond];
  n371 -> n362 [label="T"];
  n371 -> n373 [label="F"];
  n362 [label="END func(a, b)", shape=ellipse, style=filled, color=green];
  n362 -> n386;
  n386 [label="RET func", shape=box, style=filled, color=orange];
  n386 -> n360;
  n360 [label="END", shape=ellipse, style=filled, color=gray];
  n373 [label="b", shape=box];
  n373 -> n374;
  n374 [label="1", shape=box];
  n374 -> n375;
  n375 [label="b + 1", shape=box];
  n375 -> n376;
  n376 [label="b = (b + 1)", shape=box];
  n376 -> n377;
  n377 [label="a", shape=box];
  n377 -> n378;
  n378 [label="1", shape=box];
  n378 -> n379;
  n379 [label="a - 1", shape=box];
  n379 -> n380;
  n380 [label="a = (a - 1)", shape=box];
  n380 -> n366;
}