Nondeterministic testing added