- char* id_state = xbt_strdup(id);
- char* first_part = strtok(id,"_");
+ char* id_copy = xbt_strdup(id);
+ char* first_part = strtok(id_copy,"_");
int type = 0 ; // -1=initial state; 0=intermediate state; 1=final state
if(strcmp(first_part,"accept")==0){
int type = 0 ; // -1=initial state; 0=intermediate state; 1=final state
if(strcmp(first_part,"accept")==0){