diff --git a/src/main/java/de/tlc4b/TLC4BGlobals.java b/src/main/java/de/tlc4b/TLC4BGlobals.java
index 77f9efd8f8d2737164e5024b141b78212bf54f8d..bb216e912c69b0766f9148fc7e2ad59e2ba494bb 100644
--- a/src/main/java/de/tlc4b/TLC4BGlobals.java
+++ b/src/main/java/de/tlc4b/TLC4BGlobals.java
@@ -49,7 +49,7 @@ public class TLC4BGlobals {
 		checkInvariant = true;
 		checkAssertion = true;
 		checkLTL = true;
-		checkWD = false;
+		checkWD = true;
 		partialInvariantEvaluation = false;
 		useSymmetry = false;
 		printCoverage = false;