let create_initialized_var varinfo validity initinfo = Cil_datatype.Varinfo.Hashtbl.add initialized_var_table varinfo initinfo; Base.create_initialized varinfo validity