Recorre todos los objetos que se pueden alcanzar desde los objetos main de la aplicacion y marca como no alcanzables aquellos que no pueden alcanzarse.
Tambien crea una categoria KBDoctor.Unreachable con todos esos objetos para que sea mas facil poder analizarlos despues de la ejecucion.
Para acelerar la generacion y dado que estos objetos no pueden ser alcanzados y no forman parte de los ejecutables finales, se marcan los objetos para que no sean generados con la propiedad GenerateObject=false.
NOTA IMPORTANTE: Esta opcion no deberia usarse si se tiene llamadas dinamicas dentro de la KB, pues KBDoctor no conoce dichas referencias. Para subsanar este inconveniente, se puede generar un objeto main dummy que llame a todos los objetos que van a ser invocados en forma dinamica para subsanar este problema.