%dquery: bounded DFS in depth of search and term.