diff --git a/src/main/java/de/tlc4b/TLC4BGlobals.java b/src/main/java/de/tlc4b/TLC4BGlobals.java
index f4812a2373390129e23b2b5edbf3c7d32f976d48..7bd7335f4086fcbc81dcb373c70930b9a4934b04 100644
--- a/src/main/java/de/tlc4b/TLC4BGlobals.java
+++ b/src/main/java/de/tlc4b/TLC4BGlobals.java
@@ -36,7 +36,7 @@ public class TLC4BGlobals {
 
 	public static void resetGlobals() {
 		DEFERRED_SET_SIZE = 3;
-		MAX_INT = 4;
+		MAX_INT = 3;
 		MIN_INT = -1;
 
 		checkGOAL = true;
diff --git a/src/test/java/de/tlc4b/prettyprint/NumbersTest.java b/src/test/java/de/tlc4b/prettyprint/NumbersTest.java
index 08e5952b777b772e718fcdcad0917eb898190315..69b62928db13ac51d288b77fb672f6a0314d9c4a 100644
--- a/src/test/java/de/tlc4b/prettyprint/NumbersTest.java
+++ b/src/test/java/de/tlc4b/prettyprint/NumbersTest.java
@@ -4,6 +4,8 @@ import static de.tlc4b.util.TestUtil.compare;
 
 import org.junit.Test;
 
+import de.tlc4b.TLC4BGlobals;
+
 public class NumbersTest {
 
 	
@@ -50,7 +52,7 @@ public class NumbersTest {
 				+ "END";
 		String expected = "---- MODULE test----\n"
 				+ "EXTENDS Integers\n"
-				+ "ASSUME Int = Int\n"
+				+ "ASSUME (-1..3) = (-1..3)\n"
 				+ "======";
 		compare(expected, machine);
 	}
@@ -62,7 +64,7 @@ public class NumbersTest {
 				+ "END";
 		String expected = "---- MODULE test----\n"
 				+ "EXTENDS Naturals\n"
-				+ "ASSUME Nat = Nat\n"
+				+ "ASSUME (0..3) = (0..3)\n"
 				+ "======";
 		compare(expected, machine);
 	}
@@ -74,7 +76,7 @@ public class NumbersTest {
 				+ "END";
 		String expected = "---- MODULE test----\n"
 				+ "EXTENDS Naturals\n"
-				+ "ASSUME Nat \\ {0} = Nat \\ {0}\n"
+				+ "ASSUME (1..3) = (1..3)\n"
 				+ "======";
 		compare(expected, machine);
 	}
@@ -244,7 +246,7 @@ public class NumbersTest {
 				+ "PROPERTIES MAXINT = MAXINT  \n"
 				+ "END";
 		String expected = "---- MODULE test----\n"
-				+ "ASSUME 4 = 4\n"
+				+ "ASSUME 3 = 3\n"
 				+ "======";
 		compare(expected, machine);
 	}