Function register_contract_defs 

pub fn register_contract_defs(tcx: TyCtxt<'_>) -> usize

Scan the local crate for #[rapx::def_contract("...")] tool attributes (emitted by the rapx_macros::pred proc-macro) and register each embedded def string. Returns the number of defs registered.