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.