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