let dzone_subset _z1 _z2 =
    Wp_parameters.not_yet_implemented "zone subset in Hoare"