req = MC_state_get_executed_request(pair->graph_state, &value);
if (req && req->call != SIMCALL_NONE) {
req_str = MC_request_to_string(req, value, MC_REQUEST_EXECUTED);
req = MC_state_get_executed_request(pair->graph_state, &value);
if (req && req->call != SIMCALL_NONE) {
req_str = MC_request_to_string(req, value, MC_REQUEST_EXECUTED);