let errorHygiene = "Error Hygiene"
let errorNotImplemented = "Error Not Implemented"
let errorTermination = "Error Termination"
let exceptionAnalysis = "Exception Analysis"
let incorrectDeadAnnotation = "Incorrect Dead Annotation"
let terminationAnalysisInternal = "Termination Analysis Internal"
let warningDeadAnalysisCycle = "Warning Dead Analysis Cycle"
let warningDeadException = "Warning Dead Exception"
let warningDeadModule = "Warning Dead Module"
let warningDeadType = "Warning Dead Type"
let warningDeadValue = "Warning Dead Value"
let warningDeadValueWithSideEffects = "Warning Dead Value With Side Effects"
let warningRedundantOptionalArgument = "Warning Redundant Optional Argument"
let warningUnusedArgument = "Warning Unused Argument"
