let lvh_kill_lval lvh lv = LvExpHash.iter (fun lv' e -> if exp_has_lval lv e || lval_has_lval lv lv' then LvExpHash.remove lvh lv') lvh