Evaluate impact of simplify_intros in prepare_for_counterexmp
Currently, the prepare_for_counterexmp
transformation is the composition of two other transformations:
Introduction.simplify_intros
Intro_vc_vars_counterexmp.intro_vc_vars_counterexmp
However, simplify_intros
inlines lets, leading to blowups in the size of the generated files. We should assess whether that's really needed.
Moreover, it used to also call Intro_projections_counterexmp.intro_projections_counterexmp
but that's no longer the case. The code was still around "just in case", but it can now be dropped.