Troubleshooting the Severity Propagation Service (SevProp)