Yeah, that's correct.  But it's for a good reason.  Perhaps you don't prune anything in this iteration but you were able to prune many things in previous iterations.  Previous nodes in the walk shouldn't be pruned off by some other walk, right?  What happens when another walk comes in to nodes that you've already visited?  should it be able to prune the edges that you just walked across?