Arbitrator marks all visited nodes during a DFS which finds a cycle as being mustRollbackOnVisited.