committed-choice nondeterminism