Compute the mapping between the using occurences and the defining occurences of all Identifier in a Module
Also decide whether to use ground or non-ground- representaions for the translation to Prolog.

Documentation

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.