renamed PathSetSearchOrderTest.java into CoverageIteratorTest.java [ as of corporate 284137c6b52e53ca5d44826f6505bec18749ebfa ]