let add_in_automate_story (() : unit) : unit =
let rec last_state auto res =
match auto with
[] -> (List.rev res)
|((name,id,statesL,_)::ls) -> last_state ls ((name,id,(List.map (fun (state,exec) -> (state,(!exec))) (!statesL)))::res)
in
automate_story:=((last_state (!automate) [])::(!automate_story))