digraph "g" {
"A_monitor_0 fc16-builder" -> "A_start_0 fc16-builder" [ style = bold]
"A_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"A_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"S_A_monitor_0 fc16-builder" -> "S_A_start_0 fc16-builder" [ style = bold]
"S_A_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"S_A_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"S_B_monitor_0 fc16-builder" -> "S_B_start_0 fc16-builder" [ style = bold]
"S_B_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"S_B_start_0 fc16-builder" -> "S_A_start_0 fc16-builder" [ style = bold]
"S_B_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
}