let print_raw_automata fmt (stl,trl) = Format.fprintf fmt "@[<2>Automaton:@\n%a%a@]" print_statel stl print_transitionl trl