Cambios en la generación de flujos, se añaden los estados programáticos
Se cambia el modelo del estado menu para añadir atributo opciones