Fixed operator precedences.

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

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

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

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

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

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

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

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

...t/java/de/b2tla/tlc/integration/SingleConfigurations.java

src/test/resources/laws/FunLawsWithLambda.mch