Merge branch 'master' of github.com:hhu-stups/tlc4b

TODO.txt

build.gradle

build.xml

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

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

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

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

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

src/test/java/de/tlc4b/analysis/ExpressionConstantTest.java

src/test/java/de/tlc4b/analysis/ScopeTest.java

src/test/java/de/tlc4b/analysis/TypeRestrictionsTest.java

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

...test/java/de/tlc4b/typechecking/FunctionsVsRelations.java

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

src/test/java/testing/Testing2.java

src/test/resources/basics/SubstitutionsTest.mch