let dzone_empty () =
      Wp_parameters.not_yet_implemented "empty zone in Caveat"