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 (Visitor.visitFramacFunction visitor fd);
!widen_hints
end
end
in widen_hints