public static int height2 (InspectableTree T, Position v) {
    if (T.isExternal(v))
      return 0;
    else {
      int h = 0;
      PositionIterator children = T.children(v);
      while (children.hasNext())
	h = Math.max(h, height2(T, children.nextPosition()));
      return 1 + h;
    }
  }