Some adaptions to the TLCOutput parser

build.gradle

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

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

src/main/java/de/b2tla/Globals.java

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

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

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

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

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

src/main/java/de/b2tla/exceptions/B2TLAIOException.java

src/main/java/de/b2tla/exceptions/B2tlaException.java

src/main/java/de/b2tla/exceptions/ScopeException.java

src/main/java/de/b2tla/exceptions/SubstitutionException.java

src/main/java/de/b2tla/exceptions/TypeErrorException.java

src/main/java/de/b2tla/exceptions/UnificationException.java

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

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

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

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

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