let dzone_union _z1 _z2 =
      Wp_parameters.not_yet_implemented "zone union in Caveat"