Finished the DFS model validator