We support assert orders for FP and BP since a few years.
This summer I added support also our Craig interpolations.
Craig_NestedInterpolation is still buggy.
Craig_TreeInterpolation should work.
Hence I changed the interpolation technique in the Camel refinement strategy from Craig_NestedInterpolation to Craig_TreeInterpolation.
We support assert orders for FP and BP since a few years. This summer I added support also our Craig interpolations. Craig_NestedInterpolation is still buggy. Craig_TreeInterpolation should work. Hence I changed the interpolation technique in the Camel refinement strategy from Craig_NestedInterpolation to Craig_TreeInterpolation.