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