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