1digraph "g" {
2"dummy1_start_0 sle12sp2-1" [ style=bold color="green" fontcolor="black"]
3"dummy1_stop_0 sle12sp2-2" -> "dummy1_start_0 sle12sp2-1" [ style = bold]
4"dummy1_stop_0 sle12sp2-2" -> "ms1_promote_0" [ style = bold]
5"dummy1_stop_0 sle12sp2-2" [ style=bold color="green" fontcolor="black"]
6"ms1_demote_0" -> "ms1_demoted_0" [ style = bold]
7"ms1_demote_0" -> "state1_demote_0 sle12sp2-1" [ style = bold]
8"ms1_demote_0" [ style=bold color="green" fontcolor="orange"]
9"ms1_demoted_0" -> "dummy1_start_0 sle12sp2-1" [ style = bold]
10"ms1_demoted_0" -> "ms1_promote_0" [ style = bold]
11"ms1_demoted_0" [ style=bold color="green" fontcolor="orange"]
12"ms1_promote_0" -> "state1_promote_0 sle12sp2-2" [ style = bold]
13"ms1_promote_0" [ style=bold color="green" fontcolor="orange"]
14"ms1_promoted_0" [ style=bold color="green" fontcolor="orange"]
15"state1_demote_0 sle12sp2-1" -> "ms1_demoted_0" [ style = bold]
16"state1_demote_0 sle12sp2-1" [ style=bold color="green" fontcolor="black"]
17"state1_promote_0 sle12sp2-2" -> "ms1_promoted_0" [ style = bold]
18"state1_promote_0 sle12sp2-2" [ style=bold color="green" fontcolor="black"]
19}
20