Properties of difference inclusions with computable reachable set