tree_dfn.cpp