let compute () =
PropagationParameters.feedback "beginning constant propagation";
let fnames = PropagationParameters.SemanticConstFold.get () in
let cast_intro = PropagationParameters.CastIntro.get () in
let propagated = !Db.Constant_Propagation.get fnames cast_intro in
if PropagationParameters.SemanticConstFolding.get () then
FC_file.pretty_ast ~prj:propagated ();
PropagationParameters.feedback "constant propagation done"