implement dump-tree operator