fig/fig-taskvalue.dot

   1 digraph {
   2         graph [ dpi = 600 ];
   3         rankdir=LR;
   4         "NoValue" -> "Unstable";
   5         "Unstable" -> "Stable";
   6         "Unstable" -> "NoValue";
   7 }