+ Asta.print err_formatter asta;
+ Run.print err_formatter run;
+ output_string stderr "\n # Doc with positions: \n";
+ Tree.print_xml_preorder stderr doc (Tree.root doc);
+ let rec print_selec fmt l = match l with
+ | [x] -> fprintf fmt "%s" (string_of_int x)
+ | x :: tl -> fprintf fmt "%s" ((string_of_int x)^"; ");print_selec fmt tl
+ | [] -> fprintf fmt "%s" "ΓΈ" in
+ fprintf err_formatter "@.@. # Selected nodes: {%a}@."
+ print_selec selected_nodes;