Hola Cecilia.
Muchas gracias por tener en cuenta la situación, y también por aportarnos una perspectiva distinta donde una técnica de verificación estática podría usarse para validar. Me parece muy acertado que actualicen las diapositivas para presentar este caso en futuras ediciones del curso.
Saludos,
Bruno.