let dzone_assigned _ _ =
    Wp_parameters.not_yet_implemented "zone representation in Hoare"