In extra depth search, solver should reject a branch if it encounters a cycle #2
Description
In extra depth search, solver should reject a branch if it encounters a cycle, because a position isn't legal if the search gets stuck in a cycle of retractions.