This module contains predicates for removing completes and related memo_table data from analysis necessary for recomputing correctly analysis after removing clauses or modifying the answers of the analysis.
Cls is a set of clauses which has have been eliminated from the program. Thus, they must be deleted from the database of clauses used by the analyzer. In addition to the clause, we delete all the memo_tables and memo_lubs for the clauses. In Preds and Keys we collect the name,arity and keys of predicates for which clauses have been deleted. This will later be used for updating the SCCs.
Keys is the list of keys of predicates for which clauses have been deleted. The completes for such predicates may no longer be accurate enough. Thus we collect the external calls in ExtCompletes and erase the corresponding completes from the analysis database.