digraph "priv/example_statem" { 
  rankdir=LR;
  edge [fontsize=10];
  node [shape=circle];
  ranksep = 2;
  nodesep = 0.5
  state_1->state_2[label="e1"]
  case_state->terminate[label="{e6,Param}"]
  state_1->terminate[label="e2"]
  state_1->state_1[label="e3"]
  state_2->state_1[label="e4"]
  init->state_1[label=""]
  case_state->state_2[label="{e6,Param}"]
  state_2->case_state[label="e5"]
  case_state->case_state[label="{e6,Param}"]
}