Bugfix in the transformation prepare_for_counterexamp - the transformation introduce_premises must be run before the transformation intro_projections_counterexmp
Bugfix in the transformation prepare_for_counterexamp - the transformation introduce_premises must be run before the transformation intro_projections_counterexmp

ssaavedra/why3,ssaavedra/why3,ssaavedra/why3