// #include "state_db.h"
// #include "memory.h"
// #include "TaskIterator.h"

typedef struct DebugWorker <> {
  pthread_mutex_t mutex;
  pthread_cond_t cond;
  struct Context* context; //simulated task
  // struct Context* mcContext; // context for mcWorker
  // struct Context* masterContext; // context for McTaskManager (singleton)
  struct TaskManager* taskManager;
  int id;
  int loopCounter;
  // struct Queue* mcQueue; // simulated task queue par thread
  // TaskIterator* task_iter;
  StateDB parent;
  // StateDB root;
  // int depth;
  int visit;
  // int count;
  // int change;    // state db flag is changed
  int checking;  // state checking phase
} DebugWorker;