Rename unfold rewrites consistent with TFP paper