+ int next_thread_id;
+ int used_sequence_numbers;
+ int num_executions;
+
+ ModelAction * get_last_conflict(ModelAction *act);
+ void set_backtracking(ModelAction *act);
+ thread_id_t get_next_replay_thread();
+ Backtrack * get_next_backtrack();
+ void reset_to_initial_state();
+
+ void print_list(action_list_t *list);
+