-
if a non-ghost local shadows a ghost one, the renaming should affect the ghost.
if a non-ghost local shadows a ghost one, the renaming should affect the ghost.
if a non-ghost local shadows a ghost one, the renaming should affect the ghost.
if a non-ghost local shadows a ghost one, the renaming should affect the ghost.
