let get_outgoing node =
    match get_children node with
      [ch] ->
        (match Tree.get_edge_label (valOf (Tree.get_parent_edge ch)) with
          PathEdge op -> op
        | _ -> failwith "Summary edge in get_outgoing")
    | _ -> failwith "Multiple children in get_outgoing"