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