Corrected a mistake in the algorithms of CycleFreeBacktrack.