Refactored the specanalyser

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/global/TranslationGlobals.java

src/main/java/de/tla2b/pprint/BMachinePrinter.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

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

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

...main/java/de/tla2b/translation/UsedDefinitionsFinder.java

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

src/test/java/de/tla2b/examples/MCTest.java

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

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

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

src/test/resources/MCTests/CarTalkPuzzle/CarTalkPuzzle.tla

src/test/resources/MCTests/CarTalkPuzzle/MC.cfg

src/test/resources/MCTests/CarTalkPuzzle/MC.out

src/test/resources/MCTests/CarTalkPuzzle/MC.tla