Statistics for RitHM: A Modular Software Framework for Runtime Monitoring Supporting Complete and Lossy Traces