tnode_assert
tnode_assert(root);
height_left = tnode_assert(n->llink);
height_right = tnode_assert(n->rlink);