Un buen decompilador debería implementar un análisis de tipos.