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
!mem_project
Some g
g f x
true
x
p
f p
compare
equal
hash
find