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