// Textbook fragment 07.12
  public static <E> String toStringPostorder(Tree<E> T, Position<E> v) {
    String s = "";
    for (Position<E> w : T.children(v))
      s += toStringPostorder(T, w) + " ";
    s += v.element();           // main visit action
    return s;
  }