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