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