pub fn beta_normalize_with_stats(expr: &Expr, stats: &mut BetaStats) -> Expr
Beta reduce with statistics collection.