ExhaustiveSearch: DepthFirstNodeComparator with test
ExhaustiveSearch: clean up on other solverphases
javadoc
SingletonIterator
ExhaustiveSearch: prototype