let is_task_traced task = 
  StringSet.mem task (!traced_tasks)