Fixes to Depth-first search
Added concrete-case unittest for DepthFirstSearch