let setAutomata auto vars funcs =
variables_from_auto:=Hashtbl.fold (fun k _ l -> k::l) vars [];
functions_from_auto:=Hashtbl.fold (fun k _ l -> k::l) funcs [];
automata:=auto;
setNumberOfStates (getNumberOfStates ());
setNumberOfTransitions (getNumberOfTransitions ())