delete TraverseNonRec