Removed the TLCOuputParser. The output of TLC (error type and trace) is

build.gradle

src/main/java/de/b2tla/B2TLA.java

src/main/java/de/b2tla/B2TLAGlobals.java

src/main/java/de/b2tla/B2TlaTranslator.java

src/main/java/de/b2tla/StandardModules.java

src/main/java/de/b2tla/TLCRunner.java

src/main/java/de/b2tla/analysis/ConstantsEvaluator.java

src/main/java/de/b2tla/analysis/MachineContext.java

.../java/de/b2tla/analysis/MachineDeclarationsCollector.java

src/main/java/de/b2tla/analysis/NotSupportedConstructs.java

src/main/java/de/b2tla/analysis/ScopeChecker.java

src/main/java/de/b2tla/analysis/UsedStandardModules.java

...2tla/analysis/typerestriction/IdentifierDependencies.java

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

.../analysis/unchangedvariables/AssignedVariablesFinder.java

...analysis/unchangedvariables/UnchangedVariablesFinder.java

src/main/java/de/b2tla/prettyprint/TLAPrinter.java

src/main/java/de/b2tla/tla/Generator.java

src/main/java/de/b2tla/tlc/TLCExpressionParser.java

src/main/java/de/b2tla/tlc/TLCOutput.java