fix #220: Cannot rename an identifier starting with an @