ModelAction * check_current_action(ModelAction *curr);
bool initialize_curr_action(ModelAction **curr);
bool process_read(ModelAction *curr);
ModelAction * check_current_action(ModelAction *curr);
bool initialize_curr_action(ModelAction **curr);
bool process_read(ModelAction *curr);
bool process_fence(ModelAction *curr);
bool process_mutex(ModelAction *curr);
bool process_thread_action(ModelAction *curr);
bool process_fence(ModelAction *curr);
bool process_mutex(ModelAction *curr);
bool process_thread_action(ModelAction *curr);
void set_backtracking(ModelAction *act);
bool set_latest_backtrack(ModelAction *act);
Promise * pop_promise_to_resolve(const ModelAction *curr);
void set_backtracking(ModelAction *act);
bool set_latest_backtrack(ModelAction *act);
Promise * pop_promise_to_resolve(const ModelAction *curr);