Refactoring

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

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

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

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

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

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

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

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

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

src/main/java/de/tla2b/types/StructType.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/DefinitionsTest.java

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

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

...va/de/tla2b/prettyprintb/MiscellaneousConstructsTest.java

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

src/test/java/de/tla2b/typechecking/TupleVsSequenceTest.java

src/test/resources/MCTests/DieHarder/DieHarder.tla