let dzone_assigned _z =
      Wp_parameters.not_yet_implemented "zone representation in Caveat"