let
dzone_of_var _m _x =
Wp_parameters
.not_yet_implemented
"zone for allocated variable in Caveat"