Fixed nondeterministic test