xbt_setset_add(initial_state->enabled_transitions, initial_state->transitions);
xbt_setset_foreach(initial_state->enabled_transitions, cursor, trans){
if(trans->type == mc_wait
xbt_setset_add(initial_state->enabled_transitions, initial_state->transitions);
xbt_setset_foreach(initial_state->enabled_transitions, cursor, trans){
if(trans->type == mc_wait