fix import of counter example

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

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;

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;