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