let compute () =
if Wp_parameters.Axioms.get () then
begin
Visitor.visitFramacFile (new hint_collector) (Ast.get ()) ;
if Wp_parameters.verbose_atleast 3 then
Hints.iter
(fun f hs ->
Wp_parameters.result ~level:3 "Axiomatics hints for %a:@.%t" !Ast_printer.d_logic_var f
(fun fmt ->
List.iter (fun h -> Format.fprintf fmt " - %a@." pp_prehint h) hs
) ;
) globalhints ;
end