let pretty fmt infos = Inthash.iter (fun k d -> Format.fprintf fmt "Stmt:%d -> %a@\n" k Data.pretty d) infos