-
David Hauzar authored
Move of the transformations introduce_premises and intro_projections_counterexmp to the end of the driver. Note that this requires putting meta "inline : no" for every projection function to the source file. Otherwise, declarations projection functions are removed and the transformation intro_projections_counterexmp fails.
1cdfa8c6