Finish safe-names implementation of SourceRename
Finish safe-names implementation of SourceRename

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang