digraph fn_gen_loop {
  labelloc="t";
  graph [fontname = "cc wild words"];
  node [fontname = "cc wild words"];
  edge [fontname = "cc wild words"];

  label="fn_gen_loop(with_return: Option<GazType>)";
  fontname=lovebeat;
  rankdir=TB;
  newrank=true;

  a0 [label="choice"];
  a1 [label="infinite_loop"];
  a2 [label="gen_statement(with_break)" shape=diamond style=filled fillcolor=lightcoral];
  a3 [label="predicate_loop"];
  a4 [label="todo" style=filled fillcolor=magenta];
  a5 [label="return" style=filled fillcolor=lightskyblue1];

  a0 -> a1 -> a2 -> a5;
  a0 -> a3 -> a4;
  a2 -> a2 [dir=back];
}