let main () =
if Sparecode_params.Analysis.get () then begin
let select_annot = Sparecode_params.Annot.get () in
let select_slice_pragma = true in
let new_proj = !Db.Sparecode.get select_annot select_slice_pragma in
File.pretty ~prj:new_proj ()
end
else if Sparecode_params.GlobDecl.get () then begin
let new_proj = rm_unused_globals () in
File.pretty ~prj:new_proj ()
end