fprintf err_formatter "Evaluating automaton:\n%!";
let module Naive = Auto.Eval.Make(Tree.Naive) in
let results = Naive.eval auto doc (Tree.Naive.root doc) in
fprintf err_formatter "Evaluating automaton:\n%!";
let module Naive = Auto.Eval.Make(Tree.Naive) in
let results = Naive.eval auto doc (Tree.Naive.root doc) in