diff --git a/.gitignore b/.gitignore
index ac1e2a4c5ac8c59e34912964c3e8f861c52f9ca9..c86a830e3ba3a770db28316eadff1e968a76d478 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,14 @@
 local.*
+/bin
+states
+.classpath
+.project
+build.xml
+TODO.txt
+.gradle
+.settings
+build
+src/test/java/testing
+src/test/resources/other
+src/test/resources/testing
+src/test/resources/todo
diff --git a/src/main/java/de/tlc4b/TLC4BGlobals.java b/src/main/java/de/tlc4b/TLC4BGlobals.java
index 3872e5eb48979ebe95eba849bc19d78dc5223a4f..77f9efd8f8d2737164e5024b141b78212bf54f8d 100644
--- a/src/main/java/de/tlc4b/TLC4BGlobals.java
+++ b/src/main/java/de/tlc4b/TLC4BGlobals.java
@@ -54,7 +54,7 @@ public class TLC4BGlobals {
 		useSymmetry = false;
 		printCoverage = false;
 		forceTLCToEvalConstants = false;
-		checkOnlyMainAssertions = true;
+		checkOnlyMainAssertions = false;
 
 		proBconstantsSetup = false;
 
diff --git a/src/main/java/de/tlc4b/prettyprint/TLAPrinter.java b/src/main/java/de/tlc4b/prettyprint/TLAPrinter.java
index d55e8f024fb92cb3d27be63806d45adfb574c2e0..2f3596d35a33a43fa00b42e8ffc1abb0dea904e7 100644
--- a/src/main/java/de/tlc4b/prettyprint/TLAPrinter.java
+++ b/src/main/java/de/tlc4b/prettyprint/TLAPrinter.java
@@ -1301,7 +1301,6 @@ public class TLAPrinter extends DepthFirstAdapter {
 		}
 		moduleStringAppend(" : ");
 		if (assertionMode) {
-			int j = start;
 			for (int i = 0; i < copy.size(); i++) {
 				PExpression e = copy.get(i);
 				moduleStringAppend("TLCSet(");
@@ -1310,7 +1309,6 @@ public class TLAPrinter extends DepthFirstAdapter {
 				e.apply(this);
 				moduleStringAppend(")");
 				moduleStringAppend(" /\\ ");
-				j ++;
 			}
 
 			assertionMode = false;