SolverIDDFS: small speedup