Supporting ABSTRACT_CONSTANTS clause

build.gradle

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

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

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

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

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

src/test/java/de/tlc4b/prettyprint/ClausesTest.java

src/test/java/de/tlc4b/util/AbstractParseMachineTest.java