let print_raw_automata (stl,trl) =
  Format.print_string ("Transitions : \n") ;
  (print_statel stl) ;
  (print_transitionl trl)