This module contains the basic operations for adding or removing clauses to ciaopp (currently working for fixpoint dd) and perform an incremental reanalysis.
The posible actions are:
Initializes incremental analysis with a file.
Gets the processed clause Cl associated with clause id Clid.
This predicate removes the complete with Id in domain AbsInt and all its dependent information
This predicate runs fixpoint for abstract domain AbsInt. It is thought to be runned after adding information from registry files in intermodular analysis.
Mod is the module that will be reanalyzed after updating its external completes. To be called in modular analysis, no following analysis needed. This is a top-down strategy update