let zone_of_assignable = function
    | Xrange(x,ofs,sz) -> model_zrange x ofs sz
    | Ablock p -> model_zrange_of_addr_range p F.i_zero F.i_one
    | Arange(p,ofs,sz) -> model_zrange_of_addr_range p ofs sz