of course there are non-deterministic programs. For example, a program which consumes random numbers, and does not use a fixed RNG seed.