Transformaciones de argumentos de paso y tablas de flujo de especificaciones

^