let pretty fmt infos = IH.iter (fun k v -> Format.fprintf fmt "Stmt:%d\n%a\n======" k S.pretty v) infos