An abstract domain built on top of the Simpler_domains.Simple_Cvalue
interface that just prints the transfer functions called by the engine
during an analysis.
An abstract domain based on Simple_Cvalue that will litterally just print
what goes through it.