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