forgot a function in Sexp.Traverse