PMLExport: count symb. bounds not exported (stats)