let zone_of_assignable = function
    | Avar(x,ofs) -> model_zrange (D.Xindex.get_ind x) ofs one
    | Aaddr p -> model_zrange_of_addr_range p zero one
    | Arange(p,ofs,sz) -> model_zrange_of_addr_range p ofs sz