Added option to lazily enumerate module statistics in given coverage info.