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