Intentó. A pesar de algunos falsos positivos, encontró errores en las ecuaciones del modelo, muchas inconsistencias en la notación, muchas oportunidades para mejorar la claridad de la escritura y muchos otros detalles. Herramienta realmente increíble, la usaré nuevamente y la recomendaré encarecidamente. @ben_golub