Invariantes probador collection
Se agrega nuevas invariantes en probadorCollection. Se agrega metamodelos sin modelos en directorio separado al del runtime-EclipseApplication
Se agrega nuevas invariantes en probadorCollection. Se agrega metamodelos sin modelos en directorio separado al del runtime-EclipseApplication