Changes validConjecturePathExists to use dfs instead of bfs, this way it can handle cycles better.
Changes validConjecturePathExists to use dfs instead of bfs, this way it
can handle cycles better.
Realiserad/kex15,Realiserad/kex15