digraph G {
  graph[]
  V0 [shape="circle" style="filled" fillcolor="black" fixed="true" width="0.1" label=""]
  V1 [shape="circle" style="filled" fillcolor="black" fixed="true" width="0.1" label=""]
  V2 [shape="box" label="FirstTask"]
  V3 [shape="diamond" label="everyoneHappy"]
  V4 [shape="box" height="0.1" style="filled" fillcolor="black" label=""]
  V5 [shape="box" height="0.1" style="filled" fillcolor="black" label=""]
  V6 [shape="box" label="MakeJoy"]
  V7 [shape="box" label="DrinkBeers"]
  V8 [shape="diamond" label="someoneHappy"]
  V9 [shape="box" label="DrinkBeer"]
  V10 [shape="box" label="DoNothingSpecial"]
  V11 [shape="diamond" label="not(endOfTheDay)"]
  V12 [shape="diamond" label="curState"]
  V13 [shape="box" label="DoSomething"]
  V14 [shape="box" label="DoNothing"]
  V15 [shape="box" label="WaitAndSee"]
  V2 -> V3 []
  V6 -> V5 []
  V4 -> V6 []
  V7 -> V5 []
  V4 -> V7 []
  V3 -> V4 [label="true"]
  V5 -> V11 []
  V9 -> V11 []
  V8 -> V9 [label="true"]
  V10 -> V11 []
  V8 -> V10 [label="false"]
  V3 -> V8 [label="false"]
  V13 -> V11 []
  V12 -> V13 [label="somethingToDo"]
  V14 -> V11 []
  V12 -> V14 [label="nothingToDo"]
  V15 -> V11 []
  V12 -> V15 [label="[else]"]
  V11 -> V1 [label="false"]
  V11 -> V12 [label="true"]
  V0 -> V2 []
}