Function diff_procedures 

pub fn diff_procedures(
    catalog: &[Procedure],
    source: &[Procedure],
    out: &mut ChangeSet,
    managed_roles: &BTreeSet<Identifier>,
)

Compute Procedure-level changes needed to converge catalog toward source.

Procedures are paired by qname only (v0.2 does not support procedure overloads).