DEBUG1("Yield process '%s'", simix_global->current_process->name);
xbt_assert0((simix_global->current_process !=
simix_global->maestro_process),
DEBUG1("Yield process '%s'", simix_global->current_process->name);
xbt_assert0((simix_global->current_process !=
simix_global->maestro_process),