Function analyze_flow_bounded 

pub fn analyze_flow_bounded(
    stmts: &[Statement],
    sources: &TaintSources,
) -> (FlowEnv, RecursionOutcome)

Depth-bounded variant of analyze_flow. Returns the flow environment plus a [RecursionOutcome] recording whether (and how often) a nested re-lowered 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, never stack-overflow on a non-shrinking malformed slice).