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" -> "B_start_0 fc16-builder" [ style = bold]
"A_start_0 fc16-builder" -> "C_start_0 fc16-builder" [ style = bold]
"A_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"B_monitor_0 fc16-builder" -> "B_start_0 fc16-builder" [ style = bold]
"B_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"B_start_0 fc16-builder" -> "one-or-more:require-all-set-1" [ style = bold]
"B_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"C_monitor_0 fc16-builder" -> "C_start_0 fc16-builder" [ style = bold]
"C_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"C_start_0 fc16-builder" -> "one-or-more:require-all-set-1" [ style = bold]
"C_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"D_monitor_0 fc16-builder" -> "D_start_0 fc16-builder" [ style = bold]
"D_monitor_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"D_start_0 fc16-builder" [ style=bold color="green" fontcolor="black"]
"one-or-more:require-all-set-1" -> "D_start_0 fc16-builder" [ style = bold]
"one-or-more:require-all-set-1" [ style=bold color="green" fontcolor="orange"]
}