INFO0("**************************");
INFO0("Locked transitions:");
xbt_setset_foreach(mc_current_state->transitions, cursor, trans){
INFO0("**************************");
INFO0("Locked transitions:");
xbt_setset_foreach(mc_current_state->transitions, cursor, trans){