Questo modulo effettua la negazione intensionale del sottoinsieme P2 del programma P, costituito dalle clausole che definiscono i predicati che l'analizzatore ha stabilito poter non terminare per goal non ground. Chiameremo comp(P2) il programma ottenuto.
Tale negazione viene sintetizzata come esposto in [BaMPT90].