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