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