let lvh_kill_vi lvh vi = LvExpHash.iter (fun lv e -> if exp_has_vi vi e || lval_has_vi vi lv then LvExpHash.remove lvh lv) lvh