x
copy x
Lmap.Cannot_copy
exp
loc_lv
typeOf exp
typeOfPointed lv
typeOf loc_lv
Reduce_to_bottom
Relations_type.Model.bottom
initialize_var_using_type varinfo state
varinfo
state