great renaming propagation: syntax