let lvh_kill_mem lvh = LvExpHash.iter (fun lv e -> if exp_has_mem_read e || lval_has_mem_read lv then LvExpHash.remove lvh lv) lvh