let print_dominance_tree root children =
let rec print_space n =
if n > 0 then begin
print_string " ";
print_space (n - 1)
end
in
let rec visit indent i =
print_space indent;
print_string ((string_of_int i)^": "^(Ctt_printer.print_list string_of_int "," children.(i))^"\n");
List.iter (visit (indent + 4)) children.(i)
in
print_string "dominance tree:\n";
List.iter (visit 0) root