Changed SearchDFS to support both DFS builtin
TODO: Check when Ns is not the atom "one" nor the atom "all"