let main () =
let force_semantic_folding =
PropagationParameters.SemanticConstFolding.get ()
|| not (Cilutil.StringSet.is_empty
(PropagationParameters.SemanticConstFold.get ()))
in
(* must called the function stored in [Db] for journalisation purpose *)
if force_semantic_folding then !Db.Constant_Propagation.compute ()