Store the small cache of SaturationFixpoint in the global manager.