Function register_compound_properties 

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

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