let main _fmt = if is_on () then begin feedback "beginning analysis"; assert (not (Pragma.is_empty ())); !Impact.compute_pragmas (); feedback "analysis done" end