Occurrence plug-in.
Register the plugin in the Frama-C kernel.
Extension of the GUI for the occurrence plugin.