Renaming synthesis to resolve