1digraph "g" {
2"ms0_promote_0" -> "s0:1_promote_0 node-1" [ style = bold]
3"ms0_promote_0" [ style=bold color="green" fontcolor="orange" ]
4"ms0_promoted_0" [ style=bold color="green" fontcolor="orange" ]
5"s0:1_promote_0 node-1" -> "ms0_promoted_0" [ style = bold]
6"s0:1_promote_0 node-1" [ style=bold color="green" fontcolor="black" ]
7}
8