if(XBT_LOG_ISENABLED(mc_dpor, xbt_log_priority_debug)){
DEBUG0("Dependent Transitions:");
req_str = MC_request_to_string(MC_state_get_executed_request(prev_state, &value));
DEBUG2("%s (state=%p)", req_str, prev_state);
xbt_free(req_str);
if(XBT_LOG_ISENABLED(mc_dpor, xbt_log_priority_debug)){
DEBUG0("Dependent Transitions:");
req_str = MC_request_to_string(MC_state_get_executed_request(prev_state, &value));
DEBUG2("%s (state=%p)", req_str, prev_state);
xbt_free(req_str);