let addr_of_assignable = function | Avar(x,ofs) -> model_addr (D.Xindex.get_ind x) ofs | Aaddr p -> p | Arange(p,ofs,_sz) -> model_addr_shift p ofs