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