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