digraph "g" {
"A_start_0 node2" [ style=bold color="green" fontcolor="black"]
"A_stop_0 node1" -> "A_start_0 node2" [ style = bold]
"A_stop_0 node1" -> "all_stopped" [ style = bold]
"A_stop_0 node1" [ style=bold color="green" fontcolor="black"]
"all_stopped" [ style=bold color="green" fontcolor="orange"]
}