obsoleted and removed PathSetSearchOrder.java: remainings integrated into CoverageIterator.java. WARN: unit tests in CoverageIteratorTest.java won't pass until input automatons resemble the second half of the old 'Decision' structs. [ as of corporate 8e00499e847342b8f35a200f4d465a19ecca1dd4 ]