xbt_swag_free(model->states.running_action_set);
xbt_swag_free(model->states.failed_action_set);
xbt_swag_free(model->states.done_action_set);
xbt_swag_free(model->states.running_action_set);
xbt_swag_free(model->states.failed_action_set);
xbt_swag_free(model->states.done_action_set);