traverse z@(Zipper t crumbs gen) = if(((outcome (treeState t)) == Ongoing) || ((treeVisits t) /= 0))
                                    then (traverse (select z))
                                    else z