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