method private hint f flabels =
    if flabels <> [] then
      match current with
        | None -> ()
        | Some a ->
            let sigma =
              List.map
                (fun (fdef,fuse) ->
                   let flabel = label_name fdef in
                   let ulabel = label_name fuse in
                   ulabel , flabel
                ) flabels in
            let hint = a,sigma in
            begin
              try
                let hints = Hints.find globalhints f.l_var_info in
                Hints.replace globalhints f.l_var_info (hint::hints)
              with Not_found ->
                Hints.add globalhints f.l_var_info [hint]
            end