let getWidenHints (s: stmt) =
    Widen.getWidenHints (current_kf()) s