diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/CegarChecker.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/CegarChecker.java
index 60138f604f..80bd3f1cfd 100644
--- a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/CegarChecker.java
+++ b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/algorithm/cegar/CegarChecker.java
@@ -91,7 +91,7 @@ public SafetyResult<S, A> check(final P initPrec) {
             abstractorTime += stopwatch.elapsed(TimeUnit.MILLISECONDS) - abstractorStartTime;
             logger.write(Level.MAINSTEP, "| Checking abstraction done, result: %s%n", abstractorResult);
 
-            if (wdl != null) {
+            if (WebDebuggerLogger.enabled()) {
                 String argGraph = JSONWriter.getInstance().writeString(ArgVisualizer.getDefault().visualize(arg));
                 String precString = prec.toString();
                 wdl.addIteration(iteration, argGraph, precString);
diff --git a/subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/WebDebuggerLogger.java b/subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/WebDebuggerLogger.java
index 1948e13bca..7292013194 100644
--- a/subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/WebDebuggerLogger.java
+++ b/subprojects/common/common/src/main/java/hu/bme/mit/theta/common/visualization/WebDebuggerLogger.java
@@ -36,6 +36,10 @@ public static void enableWebDebuggerLogger() {
         enabled = true;
     }
 
+    public static Boolean enabled() {
+        return enabled;
+    }
+
     public static WebDebuggerLogger getInstance() {
         return instance;
     }