pushing DFSNode