Exchange traversals for searches in isFreeChecker.

Unfortunatelly, the use of iterators makes the class less readable.