Do RESET-VISITEDNESS stacklessly and remember to set DELTA-FIXED.