== rate =====
rate =>> d2_X.prep   (*  :  *)
  d2_X.prepO =>> e_5_38_86.prep   (*  :  *)
    e_5_38_86.true =>> trans_S2__Off.prep   (*  | 2 : 2 *)
  d2_X.prepO =>> rateO   (*  :  *)
rate =>> trans_S1__S2.prep   (*  :  *)
rate =>> trans_S2__S1.prep   (*  :  *)
== upd =====
== run =====
== start =====
start =>> trans_Off__S1.prep   (*  :  *)
== abort =====
abort =>> trans_Sx__Off.prep   (*  :  *)
== Off.entry =====
Off.entry =>> ctOff_entry_X.prep   (*  :  *)
== trans_S1__S2.trans =====
trans_S1__S2.trans =>> ctS1_S2_X.prep   (*  :  *)
== S1.entry =====
S1.entry =>> ctS1_entry_X.prep   (*  :  *)
== S1.exit =====
S1.exit =>> ctS1_exit_X.prep   (*  :  *)
== Sx.entry =====
Sx.entry =>> ctSx_entry_X.prep   (*  :  *)
