Bug fix. Previous assert() gets triggered if the same cycle end was previously seen in a DFS search...