%dquery: bounded DFS.