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