further code cleanup

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

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

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

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

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

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

src/main/java/de/tla2b/analysis/SymbolSorter.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/config/ModuleOverrider.java

src/main/java/de/tla2b/global/BBuiltInOPs.java

src/main/java/de/tla2b/global/OperatorTypes.java

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

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

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

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

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

...n/java/de/tla2b/translation/RecursiveFunctionHandler.java

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