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