if(SIMIX_process_is_enabled(process)
&& !xbt_setset_set_belongs(state->done, process)){
xbt_setset_set_insert(state->done, process);
if(SIMIX_process_is_enabled(process)
&& !xbt_setset_set_belongs(state->done, process)){
xbt_setset_set_insert(state->done, process);