Avoid mentioning unfolded version of `fresh_locs` in proof.

6 jobs for master in 13 minutes and 24 seconds