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