get rid of meta `model_projected`
The transformation intro_model_projections
makes use of a meta model_projected
that is never used from Why3 examples. They seem to be there for backward compatibility for Spark, but it should not be used anymore. There must be another mechanism that would produce the right effect in Spark.