sig   val dkey : Log.category   val all_vars_str : string   type hint_lval = {     vars : Cil_types.lval option;     names : string list;     loc : Cil_datatype.Location.t;   }   type t = Widen_hints_ext.hint_lval * Cil_types.term list   val get_stmt_widen_hint_terms : Cil_types.stmt -> Widen_hints_ext.t list   val is_global : Widen_hints_ext.t -> bool end