Get variable names from casts and from addreses in get_vnames_list
Get variable names from casts and from addreses in get_vnames_list

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer