Changed nondeterministic tests to use search.