digraph "g" {
"dummy1_start_0 sle12sp2-2" [ style=bold color="green" fontcolor="black"]
"dummy1_stop_0 sle12sp2-1" -> "dummy1_start_0 sle12sp2-2" [ style = bold]
"dummy1_stop_0 sle12sp2-1" -> "ms1_demote_0" [ style = bold]
"dummy1_stop_0 sle12sp2-1" [ style=bold color="green" fontcolor="black"]
"ms1_demote_0" -> "ms1_demoted_0" [ style = bold]
"ms1_demote_0" -> "state1_demote_0 sle12sp2-1" [ style = bold]
"ms1_demote_0" [ style=bold color="green" fontcolor="orange"]
"ms1_demoted_0" -> "ms1_promote_0" [ style = bold]
"ms1_demoted_0" [ style=bold color="green" fontcolor="orange"]
"ms1_promote_0" -> "state1_promote_0 sle12sp2-2" [ style = bold]
"ms1_promote_0" [ style=bold color="green" fontcolor="orange"]
"ms1_promoted_0" -> "dummy1_start_0 sle12sp2-2" [ style = bold]
"ms1_promoted_0" [ style=bold color="green" fontcolor="orange"]
"state1_demote_0 sle12sp2-1" -> "ms1_demoted_0" [ style = bold]
"state1_demote_0 sle12sp2-1" [ style=bold color="green" fontcolor="black"]
"state1_promote_0 sle12sp2-2" -> "ms1_promoted_0" [ style = bold]
"state1_promote_0 sle12sp2-2" [ style=bold color="green" fontcolor="black"]
}