Function release_traceability_severity 

pub fn release_traceability_severity(linked_cr_count: usize) -> Severity

Core predicate for release traceability severity (CC7.1). At least one linked change request -> Pass, none -> Error.

Verified by Creusot in gh-verify-verif crate.