fn __action160<'input>( source_id: usize, __0: (u32, Vec<(u32, Expr, u32)>, u32), __1: (u32, Expr, u32)) -> Vec<Spanned<Expr>>