refactored: more operators now use CoverageIterator.java and its depth-fist / width-first subclasses [ as of corporate 4f7fb1f11678c15625cb04c96fe29be8a57ff09f ]