let getWidenHints (s: stmt) =
    Widen.getWidenHints (List.hd !call_stack).called_kf s