Handling variables shadowing conflict caused by B definition macros.

src/main/java/de/tla2b/analysis/AbstractASTVisitor.java

src/main/java/de/tla2b/analysis/RecursiveFunktion.java

src/main/java/de/tla2b/translation/BMacroHandler.java

src/main/java/de/tla2bAst/BAstCreator.java

src/main/java/de/tla2bAst/Translator.java

src/test/java/de/tla2b/examples/MCTest.java

src/test/java/de/tla2b/prettyprintb/MacroTest.java

...t/java/de/tla2b/prettyprintb/RecursiveDefinitionTest.java

...est/java/de/tla2b/prettyprintb/RecursiveFunctionTest.java

src/test/java/de/tla2b/prettyprintb/SetsTest.java

src/test/java/de/tla2b/util/TestUtil.java

src/test/resources/examples/FastPaxos/FastPaxos.tla

src/test/resources/examples/FastPaxos/MCFastPaxos.cfg

src/test/resources/examples/FastPaxos/MCFastPaxos.tla

...ources/examples/SumAndProduct/SumAndProductConstraint.tla

src/test/resources/renamer/MacroTest/MacroTest.cfg

src/test/resources/renamer/MacroTest/MacroTest.tla