diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index 3e1dcb21d3105d87271a074b788a6407f06223e4..f160beecaed26633eecea05921744184b84072eb 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -85,6 +85,9 @@ public final class CliStarter {
 		// command.add("-ll");
 		command.add("-sf");
 		command.add("-parsercp");
+		command.add("-p");command.add("use_safety_ltl_model_checker");command.add("false");
+		 // disable LTL safety model check as the counter examples lead to assertion failures 
+		 // in CounterExampleProposition in CounterExample.java
 		command.add(fullcp);
 
 		if (file != null) {