renamed micksutils/traversals/StateCoverages.java into CoverageIterator.java and created new lightweight class mbtarranger/ltsops/StateCoverageIterator.java [ as of corporate e9039ee402a060f96c1b114ce457ee1c61530fa0 ]