This module is a database for statistics gathered during modular and incremental analysis.
Removes all stored stats with identifier What.
Runs Goal and stores the time that it took.
Adds a statistic (Stat) with identifier What to the database.
Gathers the stats associated with a phase of analysis of ciaopp.
Given a statistics structure (currently implemented a as list), gets the value of a specific statistic contained in the set).
Collects all the stats generated during a modular analysis, i.e., the stats generated in each of the iterations that it requires.
Writes in a file (with terms) the steps generated by add_stat_step.
Adds Info to previously accumulated statistics (PrevInfo) to prouce TotalInfo.