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

  label="fn_gen_boolean()";
  fontname=lovebeat;
  rankdir=TB;
  newrank=true;

  a0 [label="choice" rank=max];
  a1 [label="suitable subroutine"];
  a2 [label="suitable variable"];
  a3 [label="suitable literal"];

  {rank=same; a1 a2 a3}

  a4 [label="subroutine"];
  a5 [label="variable"];
  a6 [label="literal"];

  a7 [label="return" shape=oval style=filled fillcolor=lightskyblue1];

  a0 -> a1;
  a0 -> a2;
  a0 -> a3;

  a1 -> a4 -> a7;
  a1 -> a2;
  a2 -> a5 -> a7;
  a2 -> a3;
  a3 -> a6 -> a7;
}