Testing ReportBody toJSON use counters