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))