Module Postdominators.Compute

Register the plugin in the Frama-C kernel. Nothing is exported.