Se cambia el nombre de la carpeta
El modelo se adecua para soportar IFx
Se adecua el modelo para la verificacion formal