let lvh_pretty fmt lvh = LvExpHash.iter (fun lv e -> Format.fprintf fmt "@\n%a -> %a" d_lval lv d_exp e) lvh