Safe rename

Safe rename is an operation that replaces a single word with another word that's not present in the phrase (similar to "alpha-conversion").

Notes

• Safe rename preserves the count of unique words in a phrase.