refactoring

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

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

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

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

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

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

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

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

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

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

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

src/test/java/de/tla2b/regression/RegressionTests.java

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

...t/resources/prettyprint/OperationsTest/OperationsTest.mch

...t/resources/prettyprint/OperationsTest/OperationsTest.tla

src/test/resources/prettyprint/realworld/FastPaxos.cfg

src/test/resources/prettyprint/realworld/FastPaxos.tla

src/test/resources/prettyprint/realworld/ManyAssumes.tla

src/test/resources/prettyprint/realworld/fowler.mch

src/test/resources/prettyprint/realworld/microwave.mch