getRenaming computes two AstAnnotations.
The first one contains all the defining occurences of identifier
The second one contains all the using occurences of identitier.
getRename returns an RenameError if the Module contains unbound
identifiers or illegal redefinitions.