update

build.gradle

src/main/java/de/tla2b/TLA2B.java

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

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

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

src/main/java/de/tla2b/config/ConfigfileEvaluator.java

src/main/java/de/tla2b/output/ASTPrettyPrinter.java

src/main/java/de/tla2b/output/Renamer.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/main/MainTest.java

src/test/java/de/tla2b/main/RenamerTest.java

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

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

src/test/resources/renamer/Keywords.tla