The code provided by Kernel/CountIterator.h is now used and its duplication in some files is removed.
Kernel/CountIterator.h
Goes with Rec!3545 (merged)
Resolves Rec#480 (closed)