Module Destructors

module Destructors: sig .. end
retrieve local variables with __fc_destructor attribute and add the appropriate calls to the corresponding destructor function when we exit the scope of the variable.

Argument of the attribute can take the following forms:



val transform_category : File.code_transformation_category
category of the transformation. Should be done after any transformation susceptible to change the CFG of the program (e.g. Exn_flow.transform_category)