* For example, if it's a random(), choose the value to explore next. If it's a waitany, choose the terminated
* communication to consider now.
*/
* For example, if it's a random(), choose the value to explore next. If it's a waitany, choose the terminated
* communication to consider now.
*/