begin writing tree_node spec
rewrite tree_node spec a bit