SMS dit: Reachability problems in nondeterministic polynomial maps on the integers