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