Frama-C visitor for cumulative analyses: we add a few useful methods.
Class that implements a cached version of the above analysis.