• Y: permite realizar un análisis de cálculo exhaustivo del modelo con el fin de confirmar si las funciones incluidas en el informe de la verificación BURIED_FEAT son o no funciones enterradas realmente.

• N: solo se utiliza la verificación BURIED_FEAT para verificar funciones enterradas.