Golog: renamed Nondet to Choice, nondet to choice.