Function analyze_reducibility 

pub fn analyze_reducibility(ast: &Comprehension) -> ReducibilityFinding

Reducibility analyzer entry — spec §10.10.

Walks the AST bottom-up trying each R-rule in priority order. Returns the first non-empty finding; returns the empty finding when no rule fires.