let pretty fmt stmt_zones = let pp s d = Format.fprintf fmt "Stmt:%d -> %a@." s Data.pretty d in IH.iter pp stmt_zones