Renamed rewrites in AlphaConversion.