diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java
index c7f786b090fb2426fde60f822e064e09fc12875a..2d000cbd49e5b8db84fe900d9d08d684ba36f99e 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java
@@ -3,7 +3,6 @@ package de.prob.eventb.disprover.core.internal;
 import java.util.SortedMap;
 import java.util.TreeMap;
 
-import de.prob.eventb.disprover.core.ICounterExample;
 
 /**
  * This class wraps the results from a Disprover run. It either indicates that
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
index 1d40ffa2b6cd31b0d5ea8dd0f51ae7c6b6edf408..50c44801b85ab6b0da437ea00fd6d4072827ed72 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
@@ -17,7 +17,6 @@ import de.prob.core.command.IComposableCommand;
 import de.prob.core.command.SetPreferencesCommand;
 import de.prob.core.command.StartAnimationCommand;
 import de.prob.core.command.internal.InternalLoadCommand;
-import de.prob.eventb.disprover.core.ICounterExample;
 import de.prob.eventb.translator.PredicateVisitor;
 import de.prob.exceptions.ProBException;
 import de.prob.parser.ISimplifiedROMap;
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
index 68ff440235b4b69327fcf8c3a20cb15087c9bade..41e8792c6eec916d75373323ff4627aa3d3782be 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
@@ -28,7 +28,6 @@ import org.rodinp.core.basis.InternalElement;
 import de.prob.core.Animator;
 import de.prob.core.PrologException;
 import de.prob.eventb.disprover.core.DisproverReasonerInput;
-import de.prob.eventb.disprover.core.ICounterExample;
 import de.prob.exceptions.ProBException;
 import de.prob.logging.Logger;