drop the old, redundant implementation of postorder_dfs