single_init.dot

Digraph {
  2 [label = "init(2)"];
  0 [shape = circle];
  1 [shape = doublecircle];
  2 [shape = circle];
  0 -> 1 [label="a"];
  0 -> 0 [label="b"];
  2 -> 1 [label="a"];
  2 -> 0 [label="b"];
}