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

  label="fn_gen_statement(Vec<GazType>, return: GazType)";
  fontname=lovebeat;
  rankdir=LR;
  newrank=true;

  a [label="can declare" rank=max];
  b [label="cannot declare" rank=min];
  c [label="gen_decl()" shape=diamond style=filled fillcolor=lightsalmon];
  d [label="gen_if_statement()" shape=diamond style=filled fillcolor=lightsalmon];
  e [label="gen_std_output()" shape=diamond style=filled fillcolor=lightsalmon];
  f [label="gen_loop()" shape=diamond style=filled fillcolor=lightsalmon];
  g [label="gen_assignment()" shape=diamond style=filled fillcolor=lightsalmon];
  h [label="return" style=filled fillcolor=lightskyblue1];

  a -> c -> a;
  a -> d;
  a -> e;
  a -> f;
  a -> g;
  a -> h;

  b -> d -> b;
  b -> e -> b;
  b -> f -> b;
  b -> g -> b;
  b -> h;
}