The coalition arrangement was also in effect in 2001, although the coalitions were slightly renamed and consisted of slightly different parties.
If necessary, the local variables of the procedure body must be renamed to avoid name clashes with these dummy variables.
In the description of the algorithm we assume that bound variables are renamed to avoid clashes, and fresh variables are introduced whenever needed.
We assume that the non-terminals appearing in the two grammars to be operated on are renamed apart.
The institution was renamed a few times after 1949.
We are well aware that, from the start of the project until our study was published, some agencies were renamed.
The sickness insurance contribution was simply renamed the pension contribution, while employers took over the entire contribution for sickness insurance.
Each time a pattern is read from the database it is renamed.