IntegerTreeNode: depth() fixed but needs revising