added nondeterministic test