kf
x
copy x
exp
loc_lv
typeOf exp
typeOfPointed lv
typeOf loc_lv
initialize_var_using_type varinfo state
varinfo
state
Reduce_to_bottom
Cvalue.Model.bottom