+ | `Auto(a) -> `NodeSet(ignore (Automaton.dump Format.err_formatter a;
+ Tree.Binary.print_xml_fast stderr tree;
+ Printf.eprintf "\n=======================\n%!";
+ Automaton.TopDown.run a tree);
+ Printf.eprintf "Results : %i\n%!"
+ (Automaton.BST.cardinal a.Automaton.result);
+ Automaton.BST.iter (fun t -> Tree.Binary.print_xml_fast stderr t;
+ Printf.eprintf "^^^^^^^^^^^^^^^^^^^^^^^^\n%!")
+ a.Automaton.result;
+ a.Automaton.result)