let exit_pts_node n =
    let rec search path acc n =
      match get_kind n with
        Exit _ -> (n, ListPath (tlSafe (List.rev path)))::acc
      |        _ -> List.fold_left (search (n::path)) acc (Tree.get_children n)
    in search [] [] n