Working (naive) implementation of redo-ifchange.