let compute_widen_hints kf _s default_widen_hints = (* [s] isn't used yet *)
let widen_hints =
begin
match kf.fundec with
| Declaration _ -> default_widen_hints
| Definition (fd,_) ->
begin
let widen_hints = ref default_widen_hints
in let visitor = new widen_visitor kf widen_hints None
in ignore (visitFramacFunction visitor fd) ;
!widen_hints
end
end
in widen_hints