Added a note on folding RESET-VISITEDNESS