gisele_graph.stdout in gisele-0.3.0

- old
+ new
@@ -1,30 +1,40 @@
 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=""]
+  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="box" label="DrinkBeer"]
-  V9 [shape="box" label="DoNothingSpecial"]
-  V10 [shape="diamond" label="not(endOfTheDay)"]
-  V11 [shape="box" label="WaitAndSee"]
+  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="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"]
+  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 []
 }