remainingProperties.removeAll(newInvalid);
invalidProperties.addAll(newInvalid);
inductiveCounterexamples.keySet().removeAll(newInvalid);
double runtime = getRuntime();
for (String invalidProp : newInvalid) {
<BUG>Model model = im.model;
if (settings.slicing) {
model = ModelSlicer.slice(model, analysisSpec.dependencyMap.get(invalidProp));

}</BUG>
Counterexample cex = extractCounterexample(invalidProp, im.length, model, true);

remainingProperties.removeAll(newInvalid);
invalidProperties.addAll(newInvalid);
inductiveCounterexamples.keySet().removeAll(newInvalid);
double runtime = getRuntime();
for (String invalidProp : newInvalid) {
Model model = ModelSlicer.slice(im.model, analysisSpec.dependencyMap.get(invalidProp));
Counterexample cex = extractCounterexample(invalidProp, im.length, model, true);
