digraph CFG {
  node [fontname="Helvetica"];
  n868 [label="START", shape=ellipse, style=filled, color=gray];
  n868 -> n870;
  n870 [label="True", shape=box];
  n870 -> n871;
  n871 [label="False", shape=box];
  n871 -> n872;
  n872 [label="True || False", shape=box];
  n872 -> n873;
  n873 [label="<?>", shape=diamond];
  n873 -> n877 [label="T"];
  n873 -> n878 [label="F"];
  n877 [label="1", shape=box];
  n877 -> n869;
  n869 [label="END", shape=ellipse, style=filled, color=gray];
  n878 [label="0", shape=box];
  n878 -> n869;
}