digraph G {
  graph [margin="0" pack="true" rankdir="LR" ranksep="0"];
  0 [color="black" fillcolor="green" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  1 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  2 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  3 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  4 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  5 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  6 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  7 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  8 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  9 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  10 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  11 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  12 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
  0 -> 1 [arrowsize="0.7" label="WhileExample:start"];
  1 -> 2 [arrowsize="0.7" label="Consultation:start"];
  2 -> 3 [arrowsize="0.7" label="Consultation:end"];
  4 -> 6 [arrowsize="0.7" label="[bad] / Staff:end"];
  6 -> 7 [arrowsize="0.7" label="[bad] / Consultation:start"];
  7 -> 8 [arrowsize="0.7" label="[bad] / Consultation:end"];
  3 -> 9 [arrowsize="0.7" label="[bad]"];
  9 -> 4 [arrowsize="0.7" label="[bad] / Staff:start"];
  3 -> 10 [arrowsize="0.7" label="[not(bad)]"];
  10 -> 5 [arrowsize="0.7" label="[not(bad)] / WhileExample:end"];
  8 -> 11 [arrowsize="0.7" label="[bad]"];
  11 -> 4 [arrowsize="0.7" label="[bad] / Staff:start"];
  8 -> 12 [arrowsize="0.7" label="[not(bad)]"];
  12 -> 5 [arrowsize="0.7" label="[not(bad)] / WhileExample:end"];
}