xbt_fifo_foreach(mc_stack, item, state, mc_state_t){
if(MC_transition_depend(q, state->executed_transition)){
DEBUG3("Dependence found at state %p (%p,%p)", state, state->executed_transition, q);
xbt_fifo_foreach(mc_stack, item, state, mc_state_t){
if(MC_transition_depend(q, state->executed_transition)){
DEBUG3("Dependence found at state %p (%p,%p)", state, state->executed_transition, q);