fprintf err_formatter "Automata: %a\n%!" Auto.Ata.print auto;
fprintf err_formatter "Evaluating automaton:\n%!";
let module Naive = Auto.Eval.Make(Tree.Naive) in
fprintf err_formatter "Automata: %a\n%!" Auto.Ata.print auto;
fprintf err_formatter "Evaluating automaton:\n%!";
let module Naive = Auto.Eval.Make(Tree.Naive) in