nondeterministic_choice