• Y : effectue une analyse du modèle avec de nombreux calculs, pour vérifier si les fonctions issues de la vérification BURIED_FEAT sont réellement des fonctions enfouies.

• N : n'utilise que la vérification BURIED_FEAT pour rechercher des fonctions enfouies.