let main () =
  (* reset "rte generated"/"called precond generated" properties for all
     functions *)

  if Enabled.get () then begin
    start_msg () ;
    !Db.RteGen.compute () ;
    if Print.get () then begin
      let fmt = Format.formatter_of_out_channel stdout in
      File.pretty_ast ~fmt ()
    end;
    end_msg ()
  end