let pp_xzone fmt xz = F.pp_term fmt (term_of_xzone xz)