1digraph "g" { 2"A_monitor_0 fc16-builder" -> "A_start_0 fc16-builder" [ style = bold] 3"A_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] 4"A_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"] 5"B_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] 6"C_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] 7"D_monitor_0 fc16-builder" -> "D_start_0 fc16-builder" [ style = dashed] 8"D_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"] 9"D_start_0 fc16-builder" [ style=dashed color="red" fontcolor="black"] 10} 11