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