let single_child n =
    (match Tree.get_children n with
      [ch] -> ch
    | _ -> failwith "More or less than one child unexpected")