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=""]
  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="box" label="DrinkBeer"]
  V9 [shape="box" label="DoNothingSpecial"]
  V10 [shape="diamond" label="not(endOfTheDay)"]
  V11 [shape="box" label="WaitAndSee"]
  V2 -> V3 []
  V6 -> V5 []
  V4 -> V6 []
  V7 -> V5 []
  V4 -> V7 []
  V3 -> V4 [label="everyoneHappy"]
  V5 -> V10 []
  V8 -> V10 []
  V3 -> V8 [label="(someoneHappy and not(everyoneHappy))"]
  V9 -> V10 []
  V3 -> V9 [label="(not(someoneHappy) and not(everyoneHappy))"]
  V11 -> V10 []
  V10 -> V1 [label="false"]
  V10 -> V11 [label="true"]
  V0 -> V2 []
}