Function extract_call_sites_bounded 

pub fn extract_call_sites_bounded(
    stmts: &[Statement],
) -> (Vec<CallSite>, RecursionOutcome)

Depth-bounded variant of extract_call_sites. Returns the extracted call sites plus a [RecursionOutcome] recording whether (and how often) a nested body was abandoned at the recursion-depth cap rather than walked unbounded. The caller is responsible for emitting an honest typed diagnostic when outcome.limit_hit (R13 — never silently truncate).