pub fn cdc_sva_properties(report: &CdcReport) -> Vec<SvaProperty>
Generate SVA properties for CDC verification.