C-STAT: Analyzing module.cxx.*Severity
