Allow assert orders for Craig_TreeInterpolation

Heizmann · danieldietsch · commit 6497de017039 · 2024-11-23T09:05:57.000+01:00
diff --git a/trunk/source/TraceAbstraction/src/de/uni_freiburg/informatik/ultimate/plugins/generator/traceabstraction/tracehandling/AssertionOrderModulation.java b/trunk/source/TraceAbstraction/src/de/uni_freiburg/informatik/ultimate/plugins/generator/traceabstraction/tracehandling/AssertionOrderModulation.java
@@ -114,9 +114,9 @@ private AssertCodeBlockOrder getOrder(final InterpolationTechnique interpolation
 
 		switch (interpolationTechnique) {
 		case Craig_NestedInterpolation:
-		case Craig_TreeInterpolation:
 		case PDR:
 			return AssertCodeBlockOrder.NOT_INCREMENTALLY;
+		case Craig_TreeInterpolation:
 		case ForwardPredicates:
 		case BackwardPredicates:
 		case FPandBP:
