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