committed choice nondeterminism