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