Making progress on debugging DFS