Renaming of constants