Modified B-TLC output.

build.gradle

build.xml

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

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

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

src/main/java/de/b2tla/TLCTester.java

src/main/java/de/b2tla/Testing.java

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

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

src/main/java/de/b2tla/util/BTLCPrintStream.java

src/test/java/de/b2tla/prettyprint/ConstantsTest.java

src/test/java/de/b2tla/prettyprint/MachineParameterTest.java

src/test/java/de/b2tla/prettyprint/OperationsTest.java

src/test/java/de/b2tla/prettyprint/RenamerTest.java

src/test/java/de/b2tla/tlc/integration/ErrorTest.java

src/test/resources/error/EnumerationError.mch