Checks that Id was an entry of the last fixpoint analysis.
Enumerates the Ids of the entries of the last fixpoint analysis.
Provides on backtracking entry abstract substitutions for the current module in the global level of intermodular analysis. In the case of manual scheduling, this predicate should be called for every module in the program unit. In the case of automatic scheduling, this predicate should only be called with top-level(U).
User-specified entry points for intermodular analysis. I.e., according to the policy defined