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