Update TSTree.h