xbt_assert(timeout <= 0.0, "Timeout not implemented for waitany in the model-checker");
if (int idx = observer->get_value(); idx != -1) {
auto* act = activities.at(idx);
xbt_assert(timeout <= 0.0, "Timeout not implemented for waitany in the model-checker");
if (int idx = observer->get_value(); idx != -1) {
auto* act = activities.at(idx);