Refactoring

build.gradle

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

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

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

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

src/main/java/de/tla2b/old/AbstractExpressionPrinter.java

src/main/java/de/tla2b/old/BMachinePrinter.java

src/main/java/de/tla2b/old/DContext.java

src/main/java/de/tla2b/old/ExprReturn.java

src/main/java/de/tla2b/old/ExpressionPrinter.java

src/main/java/de/tla2b/old/ExpressionTranslatorOld.java

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

src/main/java/de/tla2b/old/Tla2BTranslator.java

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

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

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

src/main/java/de/tla2b/types/StructOrFunctionType.java

src/main/java/de/tla2b/types/StructType.java

src/main/java/de/tla2b/types/TupleType.java

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