Adapted the translator to the new parser version

build.gradle

src/main/java/de/tlc4b/MP.java

src/main/java/de/tlc4b/TLC4B.java

src/main/java/de/tlc4b/TLCRunner.java

src/main/java/de/tlc4b/Translator.java

src/main/java/de/tlc4b/analysis/PrecedenceCollector.java

src/main/java/de/tlc4b/analysis/Typechecker.java

...java/de/tlc4b/analysis/transformation/SeesEliminator.java

...4b/analysis/transformation/SetComprehensionOptimizer.java

...ava/de/tlc4b/analysis/typerestriction/TypeRestrictor.java

src/main/java/de/tlc4b/btypes/BType.java

src/main/java/de/tlc4b/btypes/BoolType.java

src/main/java/de/tlc4b/btypes/FunctionType.java

src/main/java/de/tlc4b/btypes/IntegerOrSetOfPairType.java

src/main/java/de/tlc4b/btypes/IntegerOrSetType.java

src/main/java/de/tlc4b/btypes/IntegerType.java

src/main/java/de/tlc4b/btypes/ModelValueType.java

src/main/java/de/tlc4b/btypes/PairType.java

src/main/java/de/tlc4b/btypes/SetType.java

src/main/java/de/tlc4b/btypes/StringType.java