digraph CFG {
  node [fontname="Helvetica"];
  n704 [label="START", shape=ellipse, style=filled, color=gray];
  n704 -> n706;
  n706 [label="10", shape=box];
  n706 -> n707;
  n707 [label="8", shape=box];
  n707 -> n708;
  n708 [label="CALL func", shape=box, style=filled, color=orange];
  n708 -> n691;
  n708 -> n710;
  n691 [label="START func(a, b)", shape=ellipse, style=filled, color=green];
  n691 -> n694;
  n694 [label="b", shape=box];
  n694 -> n695;
  n695 [label="1", shape=box];
  n695 -> n696;
  n696 [label="b + 1", shape=box];
  n696 -> n697;
  n697 [label="a = (b + 1)", shape=box];
  n697 -> n692;
  n692 [label="END func(a, b)", shape=ellipse, style=filled, color=green];
  n692 -> n702;
  n692 -> n710;
  n702 [label="RET func", shape=box, style=filled, color=orange];
  n702 -> n690;
  n690 [label="END", shape=ellipse, style=filled, color=gray];
  n710 [label="RET func", shape=box, style=filled, color=orange];
  n710 -> n705;
  n705 [label="END", shape=ellipse, style=filled, color=gray];
}