let getWidenHints (kf:kernel_function) (s:stmt) =
  let widen_hints_map =
    Hints.memo (fun kf -> compute_widen_hints kf s Widen_type.default) kf
  in
  Widen_type.hints_from_keys s widen_hints_map